A new correctness criterion for cyclic proof nets

Journal of Logic, Language and Information

Volumn 7, Issue 4, 1998, Pages 449-459

  Abrusci, V Michele ^a   Maringelli, Elena ^a  

^a ROMA TRE UNIVERSITY   (Italy)

Author keywords

Linear logic; Proof nets

Indexed keywords

EID: 54649083159     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008354130493     Document Type: Conference Paper

References (10)

1. Abrusci, V.M., 1991, "Phase semantics and sequent calculus for pure non-commutative classical linear logic," Journal of Symbolic Logic 56(4), 1403-1451.
2. Abrusci, V.M., 1995, "Non-commutative proof nets," pp. 271-296 in J.-Y. Girard, Y. Lafont, and L. Regnier, eds., Cambridge: Cambridge University Press.
3. Berge, C., 1973, Graphs and Hypergraphs, Amsterdam: North-Holland.
4. Danos, V. and Regnier, L., 1989, "The structure of multiplicatives," Archive for Mathematical Logic 28, 181-203.
5. Girard, J.-Y., "Linear logic," Theoretical Computer Science 50(1), 1-102.
6. Girard, J.-Y., Lafont, Y., and Regnier, L., eds., 1995, Advances in Linear Logic, London Mathematical Society Lecture Notes, Vol. 222, Cambridge: Cambridge University Press.
7. Lambek, J., 1958, "The mathematics of sentence structure," American Mathematical Monthly, 154-170.
8. Retoré, C., 1996a, "Calcul de Lambek et logique linéaire," Traitement Automatique des Langues 37(2), 39-70.
9. Retoré, C., 1996b, Perfect Matchings and Series-Parallel Graphs: Multiplicative Proof Nets as R&B-Graphs, Electronic Notes in Theoretical Computer Science, Vol. 3, http://www.elsevier.com/
10. Yetter, D.N., 1990, "Quantales and (non-commutative) linear logic," Journal of Symbolic Logic 55, 41-64.