Non-commutative linear logic in linguistics

Grammars

Volumn 4, Issue 3, 2001, Pages 167-185

  Casadio, Claudia ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Category; Linear logic; Negation; Proof net; Type grammar; Unbounded dependency

Indexed keywords

EID: 27144478369     PISSN: 13861793     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. Abrusci, V. M. Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic, The Journal of Symbolic Logic, 56: 1403-1451, 1991.
2. Abrusci, V. M. Noncommutative proof nets. In Girard et al., editors, Advances in Linear Logic, 271-296, Cambridge University Press, Cambridge, 1995.
3. Abrusci, V. M. Lambek calculus, cyclic multiplicative-additive linear logic, noncommutative multiplicative-additive linear logic: language and sequent calculus. In V. M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories. Applications of Logic to the Analysis and Implementation of Natural Language, 21-48, CLUEB, Bologna, 1996.
4. Abrusci, V. M. and E. Maringelli, A new correctness criterion for cyclic proof nets, The Journal of Logic, Language and Information, 7: 449-459, 1998.
5. Abrusci, V. M. and Ruet, P. Non-commutative logic I: the multiplicative fragment, Annals of Pure and Applied Logic, 101: 29-64, 2000.
6. Ajdukiewicz, K. Die Syntaktische Konnexität, Studio Philosophica, 1: 1-27, 1935.
7. Eng trans, Syntactic connexion. In McCall, editor, 1967.
8. Bar-Hillel, Y. A quasi-arithmetical notation for syntactic description, Language, 29: 47-58, 1953.
9. Repr. in Y. Bar-Hillel, editor, Language and Information, 61-74, Palo Alto, 1964.
10. Barr, M. Autonomous categories revisited, Journal of Pure and Applied Algebra, 111: 1-20, 1996.
11. Benthem, J. van. Essays in Logical Semantics, Reidel, Dordrecht, 1986.
12. Benthem, J. van. The Lambek calculus. In R. T. Oehrle et al., editors, Categorial Grammars and Natural Language Structures, Reidel, Dordrecht, 35-68, 1988.
13. Benthem, J. van. Language in Action, North-Holland, Amsterdam, 1991.
14. Benthem, J. van and A. ter Meulen, editors. Handbook of Logic and Language, Elsevier, Amsterdam, 1997.