Logical matrices and the amalgamation property

DOI10.1007/BF00403332zbMATH Open0549.03014MaRDI QIDQ800348FDOQ800348

Janusz Czelakowski

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• Interpolation and amalgamation; pushing the limits. I
• Leibniz interpolation properties
• scientific article
• scientific article; zbMATH DE number 1302498
• scientific article

zbMATH Keywords

interpolationmodal logicsamalgamationintermediate logicssentential logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Intermediate logics (03B55) Interpolation, preservation, definability (03C40)

Cites Work

• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Equivalential logics. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Deducibility and many-valuedness
• Freedom in polyadic algebras and two theorems of Beth and Craig
• Amalgamation properties and interpolation theorems for equational theories
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (19)

• Leibniz interpolation properties
• Freeness in classes without equality
• Failure of interpolation in combined modal logics
• On interpolation in NEXT(KB.Alt(2))
• Amalgamation and interpolation in normal modal logics
• Title not available (Why is that?)
• Interpolation in infinitely layered extensions of provability logic
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• On deductive interpolation for the weak nilpotent minimum logic
• The Craig interpolation theorem for propositional logics with strong negation
• On Algebraisation of Superintuitionistic Predicate Logics
• Continuum of normal extensions of the modal logic of provability with the interpolation property
• Definability and interpolation in non-classical logics
• The Beth property in algebraic logic
• Algebraic Characterization of the Local Craig Interpolation Property
• Sentential logics and Maehara interpolation property
• The Modelwise Interpolation Property of Semantic Logics
• Craig interpolation for semilinear substructural logics
• Decidability of the interpolation problem and of related properties in tabular logics

This page was built for publication: Logical matrices and the amalgamation property

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