A note on an alternative Gentzenization of RW+∘

DOI10.1002/malq.202000086zbMath1521.03042MaRDI QIDQ6047679

Mirjana Ilić

Publication date: 12 September 2023

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

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

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Cites Work

• \(TW_+\) and \(RW_+\) are decidable
• A cut-elimination proof in positive relevant logic with necessity
• An alternative Gentzenisation of RW+∘
• Unnamed Item