Algebraic Characterization of the Local Craig Interpolation Property
From MaRDI portal
Publication:4556007
DOI10.18778/0138-0680.47.1.04zbMath1473.03044OpenAlexW2908543520WikidataQ128579848 ScholiaQ128579848MaRDI QIDQ4556007
Publication date: 23 November 2018
Published in: Bulletin of the Section of Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.18778/0138-0680.47.1.04
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fregean logics
- Logical matrices and the amalgamation property
- Cylindric algebras. Part II
- Amalgamation and interpolation in normal modal logics
- Interpolation and amalgamation; pushing the limits. I
- Amalgamation, congruence-extension, and interpolation properties in algebras
- The Robinson property and amalgamations of higher arities
- Algebraizable logics
- On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
- Interpolation property and homogeneous structures
- On weak and strong interpolation in algebraic logics