A categorial type logic
Visualitza/Obre
10.1007/978-3-642-54789-8_18
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/28269
Tipus de documentArticle
Data publicació2014
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
In logical categorial grammar [23,11] syntactic structures are categorial proofs and semantic structures are intuitionistic proofs, and the syntax-semantics interface comprises a homomorphism from syntactic proofs to semantic proofs. Thereby, logical categorial grammar embodies in a pure logical form the principles of compositionality, lex-icalism, and parsing as deduction. Interest has focused on multimodal versions but the advent of the (dis)placement calculus of Morrill, Valentín and Fadda [21] suggests that the role of structural rules can be reduced, and this facilitates computational implementation. In this paper we specify a comprehensive formalism of (dis) placement logic for the parser/theorem prover CatLog integrating categorial logic connectives proposed to date and illustrate with a cover grammar of the Montague fragment.
CitacióMorrill, G. A categorial type logic. "Lecture notes in computer science", 2014, vol. 8222, p. 331-352.
ISSN0302-9743
Versió de l'editorhttp://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_18
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
placelog130411.pdf | Article prepublicació | 410,0Kb | Visualitza/Obre |