Gentzenizations of relevant logics without distribution. I

DOI10.2307/2275666MaRDI QIDQ4894717zbMATH OpenOpenAlexFDO

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

Cites work

• scientific article; zbMATH DE number 3261581 (Why is no real title available?)
• A metacompleteness theorem for contraction-free relevant logics
• Depth relevance of some paraconsistent logics
• Gentzenization and decidability of some contraction-less relevant logics
• Linear logic
• Logics without the contraction rule
• Metacompleteness
• The semantics and proof theory of linear logic
• The simple consistency of a set theory based on the logic CSQ

Cited in

(8)

• Logic—The Big Picture
• Solution to a problem of Ono and Komori
• CE is not a conservative extension of E
• Free semantics
• Distribution in the logic of meaning containment and in quantum mechanics
• Algebraic Kripke-style semantics for relevance logics
• Gentzenizations of relevant logics with distribution
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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

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