Exploració per autor "Valentín Fernández Gallart, José Oriol"
Ara es mostren els items 1-13 de 13
-
A count invariant for Lambek calculus with additives and bracket modalities
Valentín Fernández Gallart, José Oriol; Serret, Daniel; Morrill, Glyn (Springer-Verlag Berlin Heidelberg, 2013)
Text en actes de congrés
Accés restringit per política de l'editorialThe count invariance of van Benthem (1991) is that for a sequent to be a theorem of the Lambek calculus, for each atom, the number of positive occurrences equals the number of negative occurrences. (The same is true ... -
A reply to Kubota and Levine on gapping
Valentín Fernández Gallart, José Oriol; Morrill, Glyn (2017-02)
Article
Accés obertIn a series of papers Kubota and Levine give an account of gapping and determiner gapping in terms of hybrid type logical grammar, including anomalous scopal interactions with auxiliaries and negative quantifiers. We make ... -
Computational coverage of TLG : the Montague test
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
Text en actes de congrés
Accés obertThis paper reports on the empirical coverage of Type Logical Grammar (TLG) and on how it has been computer implemented. We analyse the Montague fragment computationally and we proffer this task as a challenge to computational ... -
Computational coverage of TLG: displacement
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
Text en actes de congrés
Accés obertThis paper reports on the coverage of TLG of Morrill (1994) and Moortgat (1997), and on how it has been computer implemented. We computer-analyse examples of displacement: discontinuous idioms, quantification, (medial) ... -
Computational coverage of TLG: nonlinearity
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
Text en actes de congrés
Accés obertWe study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, Db!, Db!?, Db!b and Db!b?r which contain the ... -
Computational coverage of type logical grammar: The Montague test
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2016)
Text en actes de congrés
Accés obertIt is nearly half a century since Montague made his contributions to the field of logical semantics. In this time, computational linguistics has taken an almost entirely statistical turn and mainstream linguistics has ... -
Count-invariance including exponentials
Kuznetsov, Stepan; Morrill, Glyn; Valentín Fernández Gallart, José Oriol (Association for Computational Linguistics, 2017)
Comunicació de congrés
Accés restringit per política de l'editorialWe define infinitary count-invariance for categorial logic, extending countinvariance for multiplicatives (van Benthem, 1991) and additives and bracket modalities (Valentín et al., 2013) to include exponentials. This ... -
Displacement logic for anaphora
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2014-03)
Article
Accés obertThe displacement calculus of Morrill, Valentín and Fadda (2011) [25] aspires to replace the calculus of Lambek (1958) [13] as the foundation of categorial grammar by accommodating intercalation as well as concatenation ... -
Models for the displacement calculus
Valentín Fernández Gallart, José Oriol (2015)
Text en actes de congrés
Accés obertThe displacement calculus D is a conservative extension of the Lambek calculus L* (with empty antecedent allowed in sequents). L* can be said to be the logic of concatenation, while D can be said to be the logic of ... -
Multiplicative-additive focusing for parsing as deduction
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (Electronic Proceedings in Theoretical Computer Science (EPTCS), 2015)
Text en actes de congrés
Accés obertSpurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem ... -
Semantically inactive multiplicatives and words as types
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2014)
Article
Accés obertThe literature on categorial type logic includes proposals for semantically inactive additives, quantifiers, and modalities (Morrill 1994[17]; Hepple 1990[2]; Moortgat 1997[9]), but to our knowledge there has been no ... -
Spurious ambiguity and focalization
Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2018-06)
Article
Accés obertSpurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing. Understanding the problem ... -
The hidden structural rules of the discontinuous Lambek calculus
Valentín Fernández Gallart, José Oriol (2014)
Capítol de llibre
Accés restringit per política de l'editorialThe sequent calculus sL for the Lambek calculus L ([2]) has no structural rules. Interestingly, sL is equivalent to a multimodal calculus mL, which consists of the nonassociative Lambek calculus with the structural rule ...