Linear logic displayed
From MaRDI portal
Publication:918548
DOI10.1305/ndjfl/1093635329zbMath0706.03043OpenAlexW1978484127MaRDI 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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items
Current trends in substructural logics, Linear Logic Properly Displayed, Disentangling structural connectives or life without display property, Display calculi and other modal calculi: a comparison, The decidability of the intensional fragment of classical linear logic, Displaying and deciding substructural logics. I: Logics with contraposition