Publication:5279185
From MaRDI portal
zbMath1446.03104MaRDI QIDQ5279185
Publication date: 19 July 2017
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
Related Items