Craig interpolation for semilinear substructural logics
DOI10.1002/malq.201200004zbMath1273.03075OpenAlexW2085725211MaRDI QIDQ3144874
George Metcalfe, Enrico Marchioni
Publication date: 10 December 2012
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201200004
algebraic semanticssubstructural logicsamalgamationsemilinearityCraig interpolation propertyR-mingleSugihara monoidspointed commutative residuated lattices
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Interpolation, preservation, definability (03C40)
Related Items (11)
Cites Work
- Unnamed Item
- Unnamed Item
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- The subvariety lattice for representable idempotent commutative residuated lattices
- Failure of interpolation in relevant logics
- Logical matrices and the amalgamation property
- Positive Sugihara monoids
- On an implication connective of RM
- Metamathematics of fuzzy logic
- Fragments of R-mingle
- Interpolation in fuzzy logic
- A category equivalence for odd Sugihara monoids and its applications
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Representable idempotent commutative residuated lattices
- Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
- Algebras Whose Congruence Lattices are Distributive.
- Algebraic completeness results for R-mingle and its extensions
This page was built for publication: Craig interpolation for semilinear substructural logics