Linear logic displayed

DOI10.1305/NDJFL/1093635329zbMATH Open0706.03043OpenAlexW1978484127MaRDI QIDQ918548FDOQ918548

Authors: Nuel D. jun. Belnap 

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

Recommendations

• Displaying modal logic
• Axioms and models of linear logic
• scientific article; zbMATH DE number 966898
• scientific article; zbMATH DE number 786485
• The semantics and proof theory of linear logic

zbMATH Keywords

Display LogicGentzen consecution calculusLinear Logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Logic in computer science (03B70)

Cited In (10)

• Current trends in substructural logics
• Displaying and deciding substructural logics. I: Logics with contraposition
• Displaying modal logic
• Display calculi and other modal calculi: a comparison
• The display problem revisited
• Bilattice logic properly displayed
• The decidability of the intensional fragment of classical linear logic
• Sequent Calculi for Normal Modal Propositional Logics
• Linear Logic Properly Displayed
• Disentangling structural connectives or life without display property

This page was built for publication: Linear logic displayed

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q918548)