Algebraic characterization of the local Craig interpolation property

DOI10.18778/0138-0680.47.1.04zbMATH Open1473.03044OpenAlexW2908543520WikidataQ128579848 ScholiaQ128579848MaRDI QIDQ4556007FDOQ4556007

Authors: Zalán Gyenis 

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

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

zbMATH Keywords

Craig interpolationalgebraic logicsuperamalgamation

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Cites Work

• Cylindric algebras. Part II
• Algebraizable logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Amalgamation and interpolation in normal modal logics
• Logical matrices and the amalgamation property
• Fregean logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On weak and strong interpolation in algebraic logics
• Interpolation and amalgamation; pushing the limits. I
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Title not available (Why is that?)
• The Robinson property and amalgamations of higher arities
• Interpolation property and homogeneous structures
• On the Sentential Logics Associated with Strongly Nice and Semi-Nice General Logics

Cited In (3)

• Leibniz interpolation properties
• Title not available (Why is that?)
• 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)