Proof nets for the multimodal Lambek calculus

Studia Logica

Volumn 71, Issue 3, 2002, Pages 415-442

  Moot, Richard ^a   Puite, Quintijn ^b  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Cut Elimination; Lambek Calculus; Linear Logic; Multimodal Lambek Calculus; Proof Nets; Proof Theory

Indexed keywords

EID: 40849127897     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1020525032763     Document Type: Article

References (12)

1. Danos, V.: 1990, 'La Logique Linéaire Appliquée à l'étude de Divers Processus de Normalisation (Principalement du λ-Calcul)'. Ph.D. thesis, University of Paris VII.
2. Danos, V. and L. Regnier: 1989, 'The Structure of Multiplicatives'. Archive for Mathematical Logic 28, 181-203.
3. de Groote, P.: 1999, 'An Algebraic Correctness Criterion for Intuitionistic Proof-nets'. Theoretical Computer Science 224(1-2), 115-134.
4. de Groote, P. and F. Lamarche: 2002, 'Classical non-associative Lambek calculus'. Studia Logica, in this issue, 245-278.
5. Girard, J.-Y.: 1987, 'Linear Logic'. Theoretical Computer Science 50, 1-102.
6. Girard, J.-Y.: 1996, 'Proof-Nets: The Parallel Syntax for Proof-Theory'. In: P. Agliana and A. Ursini (eds.): Logic and Algebra. New York: Marcel Dekker.
7. Lafont, Y.: 1995, 'From Proof Nets to Interaction Nets'. In: J.-Y. Girard, Y. Lafont, and L. Regnier (eds.): Advances in Linear Logic. Cambridge University Press, pp. 225-247.
8. Lambek, J.: 1958, 'The Mathematics of Sentence Structure'. American Mathematical Monthly 65, 154-170.
9. Lambek, J.: 1961, 'On the Calculus of Syntactic Types'. In: R. Jacobson (ed.): Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics, Vol. XII. pp. 166-178, American Mathematical Society.
10. Moortgat, M.: 1997, 'Categorial Type Logics'. In: J. van Benthem and A. ter Meulen (eds.): Handbook of Logic and Language. Elsevier/MIT Press, Chapt. 2.
11. Puite, Q.: 1998, 'Proof Nets with Explicit Negation for Multiplicative Linear Logic'. Technical report, Department of Mathematics, Utrecht University. Preprint 1079.
12. Puite, Q.: 2001, 'Sequents and Link Graphs: Contraction Criteria for Refinements of Multiplicative Linear Logic'. Ph.D. thesis, Department of Mathematics, Utrecht University.