Introduction to higher order categorical logic
Introduction to higher order categorical logic
Prolog and natural-language analysis
Prolog and natural-language analysis
Theoretical Computer Science
Extending definite clause grammars with scoping constructs
Logic programming
Logic programming in a fragment of intuitionistic linear logic
Papers presented at the IEEE symposium on Logic in computer science
Logic programming in intuitionistic linear logic: theory, design, and implementation
Logic programming in intuitionistic linear logic: theory, design, and implementation
Quantifiers, Anaphora, and Intensionality
Journal of Logic, Language and Information
Type-driven natural language analysis
Type-driven natural language analysis
Deductive Parsing of Visual Languages
LACL '01 Proceedings of the 4th International Conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |
A number of researchers have proposed applications of Girard's Linear Logic [7] to computational linguistics. Most have focused primarily on the connection between linear logic and categorial grammars. In this work we show how linear logic can be used to provide an attractive encoding of phrase structure grammars for parsing structures involving unbounded dependencies. The resulting grammars are closely related to Generalized Phrase Structure Grammars [4, 5]. As part of the presentation we show how a variety of issues, such as island and coordination constraints can be dealt with in this model.