Rule separation and embedding theorems for logics without weakening

DOI10.1023/B:STUD.0000032087.02579.E2MaRDI QIDQ1826930zbMATH OpenFDO

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

Publication date 6 August 2004

Published in Studia Logica (Search for Journal in Brave)

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)

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

Cited in

(20)

• Residuated frames with applications to decidability
• Varieties of De Morgan monoids: minimality and irreducible 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
• Constructive logic with strong negation is a substructural logic. I
• On pretabular extensions of relevance logic
• Completion and finite embeddability property for residuated ordered algebras.
• Constructive logic with strong negation is a substructural logic. II
• On varieties of biresiduation algebras
• Semi-linear varieties of lattice-ordered algebras.
• Cut elimination and strong separation for substructural logics: an algebraic approach
• Universal algebraic methods for non-classical logics
• 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)