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 (6)
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
This page was built for publication: Linear logic displayed