Mostra el registre d'ítem simple
A categorial type logic
dc.contributor.author | Morrill, Glyn |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2015-06-11T08:22:10Z |
dc.date.available | 2015-12-31T01:30:47Z |
dc.date.created | 2014 |
dc.date.issued | 2014 |
dc.identifier.citation | Morrill, G. A categorial type logic. "Lecture notes in computer science", 2014, vol. 8222, p. 331-352. |
dc.identifier.issn | 0302-9743 |
dc.identifier.uri | http://hdl.handle.net/2117/28269 |
dc.description.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. |
dc.format.extent | 22 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Computational linguistics |
dc.subject.lcsh | Programming languages (Electronic computers) -- Semantics |
dc.title | A categorial type logic |
dc.type | Article |
dc.subject.lemac | Lingüística computacional |
dc.subject.lemac | Llenguatges de programació -- Semàntica |
dc.contributor.group | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.identifier.doi | 10.1007/978-3-642-54789-8_18 |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F978-3-642-54789-8_18 |
dc.rights.access | Open Access |
local.identifier.drac | 14899427 |
dc.description.version | Postprint (author’s final draft) |
local.citation.author | Morrill, G. |
local.citation.publicationName | Lecture notes in computer science |
local.citation.volume | 8222 |
local.citation.startingPage | 331 |
local.citation.endingPage | 352 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [134]
-
Articles de revista [1.049]