Rule separation and embedding theorems for logics without weakening

DOI10.1023/B:STUD.0000032087.02579.E2zbMATH Open1053.03012MaRDI QIDQ1826930FDOQ1826930

Authors: C. J. van Alten, J. G. Raftery 

Publication date: 6 August 2004

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• Logics without the contraction rule and residuated lattices
• The finite model property for knotted extensions of propositional linear logic
• On a contraction-less intuitionistic propositional logic with conjunction and fusion
• The finite model property for various fragments of intuitionistic linear logic
• Residuated frames with applications to decidability

zbMATH Keywords

linear logicresiduated latticeseparation theoremintuitionistic linear logicfinite embeddability propertydistributionless positive relevant logicLattice-R

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logical aspects of lattices and related structures (03G10)

Cited In (20)

• Residuated frames with applications to decidability
• Varieties of De Morgan monoids: minimality and irreducible algebras
• Semi-linear Varieties of Lattice-Ordered Algebras
• Subdirectly irreducible residuated semilattices and positive universal classes
• Correspondences between gentzen and hilbert systems
• Contextual deduction theorems
• The finite model property for knotted extensions of propositional linear logic
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Residuated Structures, Concentric Sums and Finiteness Conditions
• Representable idempotent commutative residuated lattices
• An undecidability result for separation logic with theory reasoning
• On pretabular extensions of relevance logic
• Constructive logic with strong negation is a substructural logic. I
• Completion and finite embeddability property for residuated ordered algebras.
• Constructive logic with strong negation is a substructural logic. II
• On varieties of biresiduation algebras
• Universal algebraic methods for non-classical logics
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Rule separation and embedding theorems for logics without weakening

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1826930)