Uniform Interpolation

MaRDI QIDQ7208863arXivFDO

Authors Samuel J. van Gool

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10) Abstract algebraic logic (03G27) Categorical logic, topoi (03G30) Heyting algebras (lattice-theoretic aspects) (06D20)

arXiv classification

math.LO

This page was built for publication: Uniform Interpolation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7208863)