Linear logic displayed
From MaRDI portal
Publication:918548
DOI10.1305/ndjfl/1093635329zbMath0706.03043MaRDI QIDQ918548
Publication date: 1990
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635329
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03F05: Cut-elimination and normal-form theorems
Related Items
Linear Logic Properly Displayed, Current trends in substructural logics, Display calculi and other modal calculi: a comparison, Displaying and deciding substructural logics. I: Logics with contraposition, Disentangling structural connectives or life without display property, The decidability of the intensional fragment of classical linear logic