Logical matrices and the amalgamation property
From MaRDI portal
Publication:800348
DOI10.1007/BF00403332zbMath0549.03014MaRDI QIDQ800348
Publication date: 1982
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)
Related Items (17)
Sentential logics and Maehara interpolation property ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ On deductive interpolation for the weak nilpotent minimum logic ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ The Beth property in algebraic logic ⋮ Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ On interpolation in NEXT(KB.Alt(2)) ⋮ Amalgamation and interpolation in normal modal logics ⋮ Failure of interpolation in combined modal logics ⋮ Freeness in classes without equality ⋮ Definability and interpolation in non-classical logics ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation ⋮ Craig interpolation for semilinear substructural logics ⋮ The Craig interpolation theorem for propositional logics with strong negation
Cites Work
- Equivalential logics. I
- An algebraic approach to non-classical logics
- Amalgamation properties and interpolation theorems for equational theories
- Matrix approach in methodology of sentential calculi
- Freedom in polyadic algebras and two theorems of Beth and Craig
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Deducibility and many-valuedness
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Logical matrices and the amalgamation property
