Craig interpolation for semilinear substructural logics

DOI10.1002/malq.201200004zbMath1273.03075MaRDI 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

zbMATH Keywords

algebraic semantics; substructural logics; amalgamation; semilinearity; Craig interpolation property; R-mingle; Sugihara monoids; pointed commutative residuated lattices

Mathematics Subject Classification ID

03G25: Other algebras related to logic

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)

03C40: Interpolation, preservation, definability

Related Items

Theorems of Alternatives for Substructural Logics, Idempotent residuated structures: Some category equivalences and their applications, Franco Montagna's work on provability logic and many-valued logic, Varieties of De Morgan monoids: minimality and irreducible algebras, 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, The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices

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