Polarized proof-nets: Proof-nets for LC

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1581, Issue , 1999, Pages 213-227

  Laurent, Olivier ^a  

^a AIX MARSEILLE UNIVERSITÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMINERALIZATION; CALCULATIONS; DIFFERENTIATION (CALCULUS); LINEAR ALGEBRA; PATHOLOGY;

CLASSICAL SEQUENT CALCULUS; CORRECTNESS CRITERION; LINEAR LOGIC; PROOF NET; S IMPLICATIONS;

COMPUTER CIRCUITS;

EID: 84949232721     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48959-2_16     Document Type: Conference Paper

References (9)

1. Vincent Danos, Jean-Baptiste Joinet, and Harold Schellinx. Computational isomorphisms in classical logic (extended abstract). In Jean-Yves Girard, Mitsu Okada, and Andr Scedrov, editors, Proceedings Linear Logic '96 Tokyo Meeting, volume 3 of Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam, 1996.
2. Vincent Danos and Laurent Regnier. The structure of multiplicatives. Archive for Mathematical Logic, 28:181-203, 1989.
3. Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
4. Jean-Yves Girard. A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1 (3):255-296, 1991.
5. Jean-Yves Girard. Quantifiers in linear logic II. In Corsi and Sambin, editors, Nuovi problemi della logica e della filosofia della scienza, pages 79-90, Bologna, 1991. CLUEB.
6. Jean-Yves Girard. On the unity of logic. Annals of Pure and Applied Logic, 59:201217, 1993.
7. Jean-Yves Girard. Proof-nets: the parallel syntax for proof-theory. In Ursini and Agliano, editors, Logic and Algebra, New York, 1996. Marcel Dekker.
8. Franois Lamarche. From proof nets to games (extended abstract). In Jean-Yves Girard, Mitsu Okada, and Andr Scedrov, editors, Proceedings Linear Logic '96 Tokyo Meeting, volume 3 of Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam, 1996.
9. Myriam Quatrini and Lorenzo Tortora de Falco. Polarisation des preuves classiques et renversement. Compte Rendu de l’Acadmie des Sciences de Paris, 323:113-116, 1996.