Publication:5283032
From MaRDI portal
zbMath1366.03238MaRDI QIDQ5283032
Daniele Porello, Nicolas Troquard
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/37027
03F05: Cut-elimination and normal-form theorems
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items
Non-normal modalities in variants of linear logic, The virtues of idleness: a decidable fragment of resource agent logic