The additive multiboxes

Annals of Pure and Applied Logic

Volumn 120, Issue 1-3, 2003, Pages 65-102

  Tortora de Falco, Lorenzo ^a  

^a ROMA TRE UNIVERSITY   (Italy)

Author keywords

Additives; Cut elimination; Linear logic; Multiboxes; Proof nets

Indexed keywords

EID: 0037445577     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(02)00042-8     Document Type: Article

References (19)

1. J.-M. Andreoli, R. Pareschi, Linear objects: logical processes with built-in inheritance New Generation Comput. 9 (3-4) (1991) 445-473.
2. V. Danos, La Logique Linéaire appliquée a létude de divers processus de normalisation (principalement du λ-calcul), Thèse de doctorat, Université Paris VII, 1990.
3. V. Danos, J.-B. Joinet, Linear logic and elementary time, Inform. and Comput., 2001, in preparation.
4. V. Danos, J.-B. Joinet, H. Schellinx, A new deconstructive logic: linear logic J. Symbolic Logic 62 (3) (1997) 755-807.
5. V. Danos, L. Regnier, The structure of multiplicatives, Arch. Math. Logic 28 (1989) 181-203.
6. V. Danos, L. Regnier, Proof-nets and the Hilbert space, in: J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic, London Mathematical Society Lecture Note Series, vol. 222, Cambridge University Press, Cambridge, 1995, pp. 307-328.
7. J.-Y. Girard, Linear logic, Theoret. Comput. Sci. 50 (1987) 1-102.
8. J.-Y. Girard, A new constructive logic: classical logic Math. Struct. Comput. Sci. 1 (3) (1991) 255-296.
9. J.-Y. Girard, Quantifiers in linear logic II, in: Corsi, Sambin (Eds.), Nuovi problemi della logica e della filosofia della sicenza, Bologna, 1991, CLUEB, pp. 79-90.
10. J.-Y. Girard, Light linear logic, Inform. and Comput. 143 (2) (1995) 175-204.
11. J.-Y. Girard, Proof-nets: the parallel syntax for proof-theory, in: Ursini, Agliano (Eds.), Logic and Algebra, Marcel Dekker, New York, Lecture Notes Pure Appl. Math. 180 (1996) 97-124.
12. J.-Y. Girard, On the meaning of logical rules I: syntax vs. semantics, in: U. Berger, H. Schwichtenberg (Eds.), Computational Logic, NATO Series F 165, Springer, Berlin, 1999.
13. J.-Y. Girard, On the meaning of logical rules II: Multiplicatives and additives, in: IOS Press, NATO ASI Ser. F, Comput. Syst. Sci. 175, 183-212, Amsterdam, 2000.
14. O. Laurent, Polarized proof-nets: proof-nets for LC (extended abstract), in: J.-Y. Girard (Ed.), Typed Lambda Calculi and Applications '99, Lecture Notes in Computer Science, vol. 1581, Springer, Berlin, 1999, pp. 213-227.
15. O. Laurent, M. Quatrini, L. Tortora de Falco, Polarized and focalized linear and classical proofs, Ann. Pure Appl. Logic, 2001, in preparation (Preliminary version available at the address: http://www.logique.jussieu.fr/www.tortora/index.html.)
16. F. Métayer, Homology of proof-nets, Arch. Math. Logic 33 (1994) 169-188.
17. L. Tortora de Falco, Additives of linear logic and normalization-part II: the additive standardization theorem, Theoret. Comput. Sci., 2000, submitted for publication (Available at the address: http://www.logique.jussieu.fr/www.tortora/index.html.).
18. L. Tortora de Falco, Réseaux, cohéerence et expériences obsessionnelles, Thèse de doctorat, Université Paris VII, January 2000. (Available att he address: http://www.logique.jussieu.fr/www.tortora/index.html.)
19. L. Tortora de Falco, Additives of linear logic and normalization-part I: a (restricted) church-rosser property, Theoret. Comput. Sci., 2001, in preparation. (Preliminary version available at the address: http://www.logique.jussieu.fr/www.tortora/index.html.)