A dynamic programming approach to categorial deduction

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

Volumn 1632, Issue , 1999, Pages 1-15

  de Groote, Philippe ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CALCULATIONS; DIFFERENTIATION (CALCULUS); THEOREM PROVING;

CONTEXT-FREE; LAMBEK CALCULUS; NON-COMMUTATIVE; PARSING ALGORITHM; PARSING PROBLEMS; PROOF NET; PROVABILITY PROBLEMS;

DYNAMIC PROGRAMMING;

EID: 84864263113     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_1     Document Type: Conference Paper

References (11)

1. M. Abrusci. Phase semantics and sequent calculus for pure non-commutative classical linear logic. Journal of Symbolic Logic, 56(4):1403-1451, 1991.
2. C. Berge. Graphs. North-Holland, second revised edition edition, 1985.
3. A Fleury. La regle d’echange: logique lineaire multiplicative tressee. Thes de Doctorat, specialite Mathematiques, Universite Paris 7, 1996.
4. J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
5. J.-Y. Girard. Quantifiers in linear logic II. Technical Report 19, Equipe de Logique Mathematique, Universite de Paris 7, 1991.
6. F. Lamarche and C. Retore. Proof nets for the Lambek calculus. In M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. Cooperativa Libraria Universitaria Editrice Bologna, 1996.
7. J. Lambek. The mathematics of sentence structure. Amer. Math. Monthly, 65:154-170, 1958.
8. M. Moortgat. Categorial type logic. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter 2. Elsevier, 1997.
9. G. Morrill. Memoisation of categorial proof nets: parallelism in categorial processing. In V. M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. Cooperativa Libraria Universitaria Ed- itrice Bologna, 1996.
10. D. Roorda. Resource Logics: proof-theoretical investigations. PhD thesis, University of Amsterdam, 1991.
11. D. N. Yetter. Quantales and (non-commutative) linear logic. Journal of Symbolic Logic, 55:41-64, 1990.