The Modelwise Interpolation Property of Semantic Logics

DOI10.18778/0138-0680.2023.09MaRDI QIDQ6119356

Zalán Gyenis, Unnamed Author, Unnamed Author

Publication date: 29 February 2024

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

zbMATH Keywords

interpolationalgebraic logicamalgamationsuperamalgamation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Fregean logics
• Consequence and interpolation in Łukasiewicz logic
• Logical matrices and the amalgamation property
• Introduction: Interpolations -- essays in honor of William Craig
• Amalgamation and interpolation in normal modal logics
• Modal languages and bounded fragments of predicate logic
• Interpolation and amalgamation; pushing the limits. I
• Is ``Some-other-time sometimes better than ``Sometime for proving partial correctness of programs?
• Universal algebraic logic. Dedicated to the unity of science
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• Amalgamation, congruence-extension, and interpolation properties in algebras
• The Robinson property and amalgamations of higher arities
• Mathematical Problems from Applied Logic II
• Algebraizable logics
• On Moschovakis closure ordinals
• Algebraic Characterization of the Local Craig Interpolation Property
• Interpolation property and homogeneous structures
• On weak and strong interpolation in algebraic logics

This page was built for publication: The Modelwise Interpolation Property of Semantic Logics