Sentential logics and Maehara interpolation property
From MaRDI portal
Publication:1076010
DOI10.1007/BF00394446zbMATH Open0593.03012MaRDI QIDQ1076010FDOQ1076010
Authors: Janusz Czelakowski 
Publication date: 1985
Published in: Studia Logica (Search for Journal in Brave)
Recommendations
- Interpolation properties for Sacchetti's logics
- Interpolation property and superintuitionistic predicate logics
- On the interpolation property of some intuitionistic modal logics
- Interpolation theorems for intuitionistic predicate logic
- scientific article; zbMATH DE number 5896226
- Intermediate logics and the de Jongh property
- scientific article; zbMATH DE number 3863170
- scientific article; zbMATH DE number 2184446
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- scientific article; zbMATH DE number 6296797
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)
Cites Work
- Matrices, primitive satisfaction and finitely based logics
- An algebraic approach to non-classical logics
- Title not available (Why is that?)
- Equivalential logics. I
- Algebraic aspects of deduction theorems
- Logical matrices and the amalgamation property
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Deducibility and many-valuedness
Cited In (8)
- Adjoint interpretations of sentential calculi
- Uniform interpolation and coherence
- A note on natural extensions in abstract algebraic logic
- Uniform interpolation and compact congruences
- Craig interpolation in the presence of unreliable connectives
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Modularity results for interpolation, amalgamation and superamalgamation
- Amalgamation and interpolation in ordered algebras.
This page was built for publication: Sentential logics and Maehara interpolation property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1076010)
