A note on an alternative Gentzenization of RW+∘
From MaRDI portal
Publication:6047679
DOI10.1002/malq.202000086zbMath1521.03042MaRDI QIDQ6047679
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
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