An alternative Gentzenisation of RW_+^

DOI10.1002/MALQ.201400084MaRDI QIDQ2958209zbMATH OpenOpenAlexFDO

Authors Mirjana Ilić

Publication date 1 February 2017

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201400084

zbMATH Keywords

cut eliminationpositive fragmentrelevance logicsequent calculus

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

• A note on an alternative Gentzenization of RW+∘
• \(TW_+\) and \(RW_+\) are decidable
• A cut-free sequent calculus for relevant logic RW
• scientific article; zbMATH DE number 1248086
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic

Cites work

• \(TW_+\) and \(RW_+\) are decidable
• A cut-free sequent calculus for relevant logic RW
• Cut-elimination theorem for relevant logics
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• New consecution calculi for \(R^{t}_{\to}\)
• On the decidability of implicational ticket entailment
• The Gentzenization and decidability of RW
• Untersuchungen über das logische Schliessen. I
• Untersuchungen über das logische Schliessen. II

Cited in

(11)

• \(TW_+\) and \(RW_+\) are decidable
• A cut-elimination proof in positive relevant logic with necessity
• scientific article; zbMATH DE number 1248086 (Why is no real title available?)
• A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
• Gentzenizations of relevant logics without distribution. II
• A note on the system GRW with the intensional contraction rule
• A cut-free sequent calculus for relevant logic RW
• The proof-theoretical analysis of contraction-less relevant logics
• A note on an alternative Gentzenization of RW+∘
• Vetoing: social, logical and mathematical aspects
• The Gentzenization and decidability of RW

This page was built for publication: An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)

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