Ламбек есептеуі
otherentity
ID: lambekcalculus
Related Papers
Parsing as Natural Deduction
The logic behind parsers for categorial grammars can be formalized in several different ways. Lam- bek Calculus (LC) constitutes an example for a na- tural deduction 1 style parsing method. …...
Incremental Interpretation of Categorial Grammar
The paper describes a parser for Catego- rial Grammar which provides fully word by word incremental interpretation. The parser does not require fragments of sen- tences to form constituents, and …...
Efficiently Parsing with the Product-Free Lambek Calculus
This paper provides a parsing algorithm for the Lambek calculus which is polyno- mial time for a more general fragment of the Lambek calculus than any previously known algorithm. The …...