Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A categorial type logic

Autor
Morrill, G.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2014
Volum
8222
Pàgina inicial
331
Pàgina final
352
DOI
https://doi.org/10.1007/978-3-642-54789-8_18 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/28269 Obrir en finestra nova
Resum
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 [...
Citació
Morrill, G. A categorial type logic. "Lecture notes in computer science", 2014, vol. 8222, p. 331-352.
Grup de recerca
LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge

Participants

Arxius