Sentential logics and Maehara interpolation property
From MaRDI portal
Publication:1076010
DOI10.1007/BF00394446zbMath0593.03012MaRDI QIDQ1076010
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
amalgamation; sentential logics; filter-extension; relations between syntactical and semantical properties of; relations between syntactical and semantical properties of sentential logics
03B60: Other nonclassical logic
03C80: Logic with extra quantifiers and operators
03C40: Interpolation, preservation, definability
Related Items
A note on natural extensions in abstract algebraic logic, Interpolation and the Robinson property for logics not closed under the Boolean operations, Uniform interpolation and coherence, Amalgamation and interpolation in ordered algebras., Craig interpolation in the presence of unreliable connectives, Uniform interpolation and compact congruences, Modularity results for interpolation, amalgamation and superamalgamation
Cites Work
- Logical matrices and the amalgamation property
- Matrices, primitive satisfaction and finitely based logics
- Algebraic aspects of deduction theorems
- Equivalential logics. I
- An algebraic approach to non-classical logics
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Deducibility and many-valuedness
- Unnamed Item