Craig Interpolation for Subgeometric Logics
From MaRDI portal
Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25) Theories (e.g., algebraic theories), structure, and semantics (18C10)
This page was built for publication: Craig Interpolation for Subgeometric Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7213140)
