Gentzenizations of relevant logics without distribution. II

DOI10.2307/2275667zbMATH Open0862.03013OpenAlexW4229830739MaRDI QIDQ4894718FDOQ4894718

Authors: 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

Recommendations

• The proof-theoretical analysis of contraction-less relevant logics
• Gentzenization and decidability of some contraction-less relevant logics
• The Gentzenization and decidability of RW
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• scientific article; zbMATH DE number 823590

zbMATH Keywords

interpolationdecidabilityGentzenizationdistributionless relevant logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Logic—The Big Picture
• The Gentzenization and decidability of RW
• The proof-theoretical analysis of contraction-less relevant logics
• Distribution in the logic of meaning containment and in quantum mechanics
• Gentzenizations of relevant logics with distribution
• Algebraic Kripke-style semantics for relevance logics
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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

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