Craig interpolation for semilinear substructural logics
DOI10.1002/MALQ.201200004zbMATH Open1273.03075OpenAlexW2085725211MaRDI QIDQ3144874FDOQ3144874
Authors: Enrico Marchioni, George Metcalfe 
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
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
substructural logicsamalgamationalgebraic semanticssemilinearityCraig interpolation propertyR-mingleSugihara monoidspointed commutative residuated lattices
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Cites Work
- Metamathematics of fuzzy logic
- Fragments of R-mingle
- Title not available (Why is that?)
- Interpolation in fuzzy logic
- Algebras Whose Congruence Lattices are Distributive.
- Positive Sugihara monoids
- A category equivalence for odd Sugihara monoids and its applications
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
- Interpolation properties, Beth definability properties and amalgamation properties for substructural logics
- Algebraic completeness results for R-mingle and its extensions
- Title not available (Why is that?)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Logical matrices and the amalgamation property
- Amalgamation, congruence-extension, and interpolation properties in algebras
- On an implication connective of RM
- Representable idempotent commutative residuated lattices
- The subvariety lattice for representable idempotent commutative residuated lattices
- Failure of interpolation in relevant logics
Cited In (22)
- Epimorphisms in varieties of residuated structures
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices
- Varieties of De Morgan monoids: minimality and irreducible algebras
- The failure of the amalgamation property for semilinear varieties of residuated lattices
- A variant of Craig's interpolation theorem for intuitionistic fuzzy formulas. II
- Idempotent residuated structures: Some category equivalences and their applications
- Franco Montagna's work on provability logic and many-valued logic
- Uniform interpolation and compact congruences
- Craig Interpolation for Linear Temporal Languages
- Craig interpolation in the presence of unreliable connectives
- Theorems of Alternatives for Substructural Logics
- Universal proof theory: semi-analytic rules and Craig interpolation
- Conservative expansions of substructural logics
- Uniform interpolation in substructural logics
- Craig interpolation in displayable logics
- On pretabular extensions of relevance logic
- Preservation of Craig interpolation by the product of matrix logics
- Amalgamation and interpolation in ordered algebras.
- Horn filter pairs and Craig interpolation in propositional logic
- Universal algebraic methods for non-classical logics
- Structure theorems for idempotent 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)
