Gentzenizations of relevant logics without distribution. I

DOI10.2307/2275666zbMath0862.03012OpenAlexW2161495932MaRDI QIDQ4894717

Ross T. Brady

Publication date: 7 October 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275666

zbMATH Keywords

decidabilityinterpolabilityGentzenizationdistributionless relevant logic LBQ

Mathematics Subject Classification ID

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

Related Items (6)

Free semantics ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Logic—The Big Picture ⋮ CE is not a conservative extension of E

Cites Work

• Unnamed Item
• Linear logic
• A metacompleteness theorem for contraction-free relevant logics
• Depth relevance of some paraconsistent logics
• The semantics and proof theory of linear logic
• The simple consistency of a set theory based on the logic CSQ
• Gentzenization and decidability of some contraction-less relevant logics
• Metacompleteness
• Logics without the contraction rule

This page was built for publication: Gentzenizations of relevant logics without distribution. I