Craig interpolation for semilinear substructural logics
From MaRDI portal
Recommendations
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Craig interpolation property for operational logics of proofs
- The Craig interpolation theorem for propositional logics with strong negation
- Uniform interpolation in substructural logics
- Interpolation for intermediate logics via hyper- and linear nested sequents
- scientific article; zbMATH DE number 1369670
- scientific article; zbMATH DE number 4047686
- Semilinear substructural logics with the finite embeddability property
- scientific article; zbMATH DE number 1499108
- Interpolational Craig property in logics of proofs with strong provability operator
Cites work
- A category equivalence for odd Sugihara monoids and its applications
- Algebraic completeness results for R-mingle and its extensions
- Algebras Whose Congruence Lattices are Distributive.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Failure of interpolation in relevant logics
- Fragments of R-mingle
- scientific article; zbMATH DE number 2184446 (Why is no real title available?)
- scientific article; zbMATH DE number 6276268 (Why is no real title available?)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation in fuzzy logic
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- Logical matrices and the amalgamation property
- Metamathematics of fuzzy logic
- On an implication connective of RM
- Positive Sugihara monoids
- Representable idempotent commutative residuated lattices
- The subvariety lattice for representable idempotent commutative residuated lattices
Cited in
(24)- Varieties of De Morgan monoids: minimality and irreducible algebras
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Structure theorems for idempotent residuated lattices
- Amalgamation and interpolation in ordered algebras.
- Craig interpolation in the presence of unreliable connectives
- Uniform interpolation and compact congruences
- Epimorphisms in varieties of residuated structures
- Preservation of Craig interpolation by the product of matrix logics
- Uniform interpolation in substructural logics
- Franco Montagna's work on provability logic and many-valued logic
- Craig interpolation in displayable logics
- The failure of the amalgamation property for semilinear varieties of residuated lattices
- Craig Interpolation for Linear Temporal Languages
- scientific article; zbMATH DE number 1369670 (Why is no real title available?)
- A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. II
- Theorems of Alternatives for Substructural Logics
- Idempotent residuated structures: Some category equivalences and their applications
- Universal algebraic methods for non-classical logics
- Horn filter pairs and Craig interpolation in propositional logic
- Conservative expansions of substructural logics
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Universal proof theory: semi-analytic rules and Craig interpolation
- On pretabular extensions of relevance logic
- Amalgamation in semilinear residuated lattices
This page was built for publication: Craig interpolation for semilinear substructural logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3144874)
