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)
amalgamationsentential logicsfilter-extensionrelations between syntactical and semantical properties ofrelations between syntactical and semantical properties of sentential logics
Other nonclassical logic (03B60) Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40)
Related Items
Uniform interpolation and compact congruences, Modularity results for interpolation, amalgamation and superamalgamation, A note on natural extensions in abstract algebraic logic, Uniform interpolation and coherence, Amalgamation and interpolation in ordered algebras., Craig interpolation in the presence of unreliable connectives, Interpolation and the Robinson property for logics not closed under the Boolean operations
Cites Work
- Unnamed Item
- 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
