Now showing items 1-13 of 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)
    Conference report
    Restricted access - publisher's policy
    The 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
    Open Access
    In 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: displacement 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
    Conference report
    Open Access
    This 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)
    Conference report
    Open Access
    We 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 TLG : the Montague test 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2015)
    Conference report
    Open Access
    This 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 type logical grammar: The Montague test 

    Morrill, Glyn; Valentín Fernández Gallart, José Oriol (2016)
    Conference report
    Open Access
    It 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)
    Conference lecture
    Restricted access - publisher's policy
    We 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
    Open Access
    The 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)
    Conference report
    Open Access
    The 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)
    Conference report
    Open Access
    Spurious 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
    Open Access
    The 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
    Open Access
    Spurious 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)
    Part of book or chapter of book
    Restricted access - publisher's policy
    The 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 ...