A new correctness criterion for cyclic proof nets

DOI10.1023/A:1008354130493zbMath0915.03046OpenAlexW1938840723MaRDI QIDQ1280050

Elena Maringelli, V. Michele Abrusci

Publication date: 17 February 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008354130493

zbMATH Keywords

Lambek calculusproof netscyclic multiplicative linear logicedge bi-coloured graphs

Mathematics Subject Classification ID

Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Handsome proof-nets: Perfect matchings and cographs

This page was built for publication: A new correctness criterion for cyclic proof nets