Gentzenizations of relevant logics without distribution. II

DOI10.2307/2275667zbMath0862.03013OpenAlexW4229830739MaRDI QIDQ4894718

Ross T. Brady

Publication date: 25 May 1997

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

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

zbMATH Keywords

interpolationdecidabilityGentzenizationdistributionless relevant logic

Mathematics Subject Classification ID

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

Related Items (4)

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

Cites Work

• A metacompleteness theorem for contraction-free relevant logics
• Metacompleteness

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