Gentzenizations of relevant logics without distribution. II

DOI10.2307/2275667MaRDI QIDQ4894718zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

interpolationdecidabilityGentzenizationdistributionless relevant logic

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(7)

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

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)