The structure of exponentials: Uncovering the dynamics of linear logic proofs

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

Volumn 713 LNCS, Issue , 1993, Pages 159-171

  Danos, Vincent ^a,b,c   Joinet, Jean Baptiste ^a,b,d   Schellinx, Harold ^a,b  

^a INSTITUT DE MATHÉMATIQUES DE JUSSIEU   (France)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c CNRS URA 753 ^*  (France)

^d UNIVERSITÉ PARIS 1 PANTHÉON SORBONNE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; LINEAR ALGEBRA; LOGIC PROGRAMMING;

EXPONENTIALS; LINEAR LOGIC; LINEAR LOGIC PROOF; SECOND ORDERS; WORK IN PROGRESS;

COMPUTER CIRCUITS;

EID: 4243929736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0022564     Document Type: Conference Paper

References (9)

1. DANOS, V., JOINET, J.-B. AND SCHELLINX, H.: On the linear decoration of intuitlonistic derivations. Prépublication 41, Équipe de Logique Mathématique, Université Paris VII. Janvier 1993.
2. DANOS, V., JOINET, J.-B. AND SCHELLINX, H.: LKQ and LKT. Sequent calculi for second order logic based upon dual linear decompositions of classical implication (The Noble Art of Linear Decorating II). In preparation.
3. GIRARD, J.-Y.: Linear Logic. Theoretical Computer Science 50 (1987) 1-102.
4. GIRARD, J.-Y.: A new constructive logic: classical logic. Mathematical Strue. tures in Computer Science 1(3) (1991) 255-296.
5. GIRARD, J.-Y.: On the unity of logic. Annals of Pure and Applied Logic 59 (1993) 201-217.
6. GIRARD, J.-Y., SCEDROV, A. AND SCOTT, P.J.: Bounded linear logic: a modular approach to polynomial time computability. Theoretical Computer Science 97(1992) 1-66.
7. JOINET, J.-B.: Etude de la normalisation du calcul des séquents classique à travers la logique linéaire. PhD thesis, Université Paris VII (1993).
8. PARIGOT, M.: λµ-Calculus: an algorithmic interpretation of classical natural deduction. In: Lecture Notes in Artificial Intelligence 624, Proceedings of the LPAR, St. Petersburg, July 1992. Edited by A. Voronkov.
9. TROELSTRA, A.S.: Lectures on Linear Logic. CSLI Lecture Notes 29, Stanford (1992).