The Modelwise Interpolation Property of Semantic Logics
From MaRDI portal
Cites work
- Algebraic characterization of the local Craig interpolation property
- Algebraizable logics
- Amalgamation and interpolation in normal modal logics
- Amalgamation and interpolation in ordered algebras.
- Amalgamation, congruence-extension, and interpolation properties in algebras
- An introduction to non-classical logic. From if to is
- Consequence and interpolation in Łukasiewicz logic
- Fregean logics
- scientific article; zbMATH DE number 3679781 (Why is no real title available?)
- scientific article; zbMATH DE number 67022 (Why is no real title available?)
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 3596802 (Why is no real title available?)
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 475243 (Why is no real title available?)
- scientific article; zbMATH DE number 1852925 (Why is no real title available?)
- Interpolation and amalgamation; pushing the limits. I
- Interpolation property and homogeneous structures
- Introduction: Interpolations -- essays in honor of William Craig
- Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
- Logical matrices and the amalgamation property
- Mathematical Problems from Applied Logic II
- Modal languages and bounded fragments of predicate logic
- Modal logic
- On Moschovakis closure ordinals
- On weak and strong interpolation in algebraic logics
- The Robinson property and amalgamations of higher arities
- Uniform interpolation and compact congruences
- Universal algebraic logic. Dedicated to the unity of science
This page was built for publication: The Modelwise Interpolation Property of Semantic Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6119356)
