Gentzenizations of relevant logics with distribution

DOI10.2307/2275668zbMATH Open0862.03014OpenAlexW4245829734MaRDI QIDQ4894719

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/2275668

zbMATH Keywords

Gentzenizationrelevant logic with distribution

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Simplified semantics for relevant logics (and some of their rivals)
• Completeness and conservative extension results for some Boolean relevant logics
• A metacompleteness theorem for contraction-free relevant logics
• Classical relevant logics. I
• Classical relevant logics. II
• Gentzenization and decidability of some contraction-less relevant logics
• Metacompleteness

Related Items (1)

Distribution in the Logic of Meaning Containment and in Quantum Mechanics

Recommendations

• Gentzenization of trilattice logics 👍 👎
• Towards an adequate definition of distribution for first-order logic 👍 👎
• The logic of distributive nearlattices 👍 👎
• Gentzenization and decidability of some contraction-less relevant logics 👍 👎
• The logic of distributive bilattices 👍 👎
• Gentzenizations of relevant logics without distribution. I 👍 👎
• Gentzenizations of relevant logics without distribution. II 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎

This page was built for publication: Gentzenizations of relevant logics with distribution