Higher-order linear logic programming of categorial deduction
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96971
Tipus de documentReport de recerca
Data publicació1994-10
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We show how categorial deduction can be implemented in (higher-order) linear logic programming, thereby realising parsing as deduction for the associative and non-associative Lambek calculi. This provides a method of solution to the parsing problem of Lambek categorial grammar applicable to a variety of its extensions. We illustrate categorial calculi of discontinuity, and calculi with unary bracket operators.
CitacióMorrill, G. "Higher-order linear logic programming of categorial deduction". 1994.
Forma partLSI-94-42-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191281.pdf | 1,634Mb | Visualitza/Obre |