Algebraic characterization of the local Craig interpolation property

DOI10.18778/0138-0680.47.1.04MaRDI QIDQ4556007zbMATH OpenOpenAlexWikidataFDO

Authors Zalán Gyenis

Publication date 23 November 2018

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.47.1.04

zbMATH Keywords

Craig interpolationalgebraic logicsuperamalgamation

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Interpolation and amalgamation; pushing the limits. I
• scientific article; zbMATH DE number 859796
• scientific article; zbMATH DE number 1302498
• The Craig interpolation theorem in abstract model theory
• scientific article; zbMATH DE number 4010501

Cites work

• 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 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?)
• Algebraizable logics
• Amalgamation and interpolation in normal modal logics
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Cylindric algebras. Part II
• Fregean logics
• Interpolation and amalgamation; pushing the limits. I
• Interpolation property and homogeneous structures
• Logical matrices and the amalgamation property
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics
• On weak and strong interpolation in algebraic logics
• The Robinson property and amalgamations of higher arities

Cited in

(3)

• Leibniz interpolation properties
• scientific article; zbMATH DE number 4010501 (Why is no real title available?)
• The Modelwise Interpolation Property of Semantic Logics

This page was built for publication: Algebraic characterization of the local Craig interpolation property

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