The proof-theoretical analysis of contraction-less relevant logics

MaRDI QIDQ5279185zbMATH OpenFDO

Authors Mirjana Ilić

Publication date 19 July 2017

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 823590
• A note on an alternative Gentzenization of RW+∘
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• Gentzenizations of relevant logics without distribution. II
• A cut-free sequent calculus for relevant logic RW

Cited in

(21)

• Survey of generalizations of Urquhart semantics
• A consistent theory of attributes in a logic without contraction
• Gentzenization and decidability of some contraction-less relevant logics
• A propositional logic with relative identity connective and a partial solution to the paradox of analysis
• Note on deduction theorems in contraction-free logics
• Simple Gentzenizations for the normal formulae of contraction-less logics
• scientific article; zbMATH DE number 3882420 (Why is no real title available?)
• Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations
• scientific article; zbMATH DE number 1222494 (Why is no real title available?)
• scientific article; zbMATH DE number 512771 (Why is no real title available?)
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
• Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics
• scientific article; zbMATH DE number 823590 (Why is no real title available?)
• Gentzenizations of relevant logics without distribution. II
• Relevant logics: from semantics to proof systems
• scientific article; zbMATH DE number 2236612 (Why is no real title available?)
• Solution to a problem of Ono and Komori
• Solution to a problem of Ono and Komori
• A note on an alternative Gentzenization of RW+∘
• The nature of entailment: an informational approach
• Contraction-elimination for implicational logics

This page was built for publication: The proof-theoretical analysis of contraction-less relevant logics

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