scientific article; zbMATH DE number 823590

MaRDI QIDQ4856945zbMATH OpenFDO

Authors Ross T. Brady

Publication date 5 December 1995

zbMATH Keywords

Gentzen systemscontraction-less relevant logics

Mathematics Subject Classification ID

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

Recommendations

• Simple Gentzenizations for the normal formulae of contraction-less logics
• Gentzenization and decidability of some contraction-less relevant logics
• Contraction-elimination for implicational logics
• Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
• The proof-theoretical analysis of contraction-less relevant logics
• Simplified semantics for relevant logics (and some of their rivals)
• Logics without the contraction rule and residuated lattices
• Contraction-free sequent calculi for intuitionistic logic
• Intuitionistic propositional logic without `contraction' but with `reductio'
• Simplified semantics for basic relevant logics

Cited in

(6)

• Solution to a problem of Ono and Komori
• The proof-theoretical analysis of contraction-less relevant logics
• Replacing Modus Ponens With One-Premiss Rules
• Gentzenization and decidability of some contraction-less relevant logics
• Contraction-elimination for implicational logics
• Solution to a problem of Ono and Komori

This page was built for publication:

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