scientific article; zbMATH DE number 823590

zbMATH Open0841.03007MaRDI QIDQ4856945FDOQ4856945

Authors: Ross T. Brady 

Publication date: 5 December 1995

Title of this publication is not available (Why is that?)

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

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)

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
• Solution to a problem of Ono and Komori
• Contraction-elimination for implicational logics

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)