A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic
From MaRDI portal
Publication:4609358
DOI10.4467/20842589RM.17.006.7144zbMath1417.03283MaRDI QIDQ4609358
Publication date: 29 March 2018
Published in: Reports on Mathematical Logic (Search for Journal in Brave)
Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)