Sentential logics and Maehara interpolation property
From MaRDI portal
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
Cites work
- scientific article; zbMATH DE number 3199779 (Why is no real title available?)
- Algebraic aspects of deduction theorems
- Amalgamation, congruence-extension, and interpolation properties in algebras
- An algebraic approach to non-classical logics
- Deducibility and many-valuedness
- Equivalential logics. I
- Logical matrices and the amalgamation property
- Matrices, primitive satisfaction and finitely based logics
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)
