A new correctness criterion for multiplicative non-commutative proof nets
From MaRDI portal
Publication:1407588
DOI10.1007/S001530100127zbMath1025.03064OpenAlexW2029739874MaRDI QIDQ1407588
Publication date: 16 September 2003
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001530100127
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (3)
Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus ⋮ Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing
This page was built for publication: A new correctness criterion for multiplicative non-commutative proof nets
