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 : 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 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 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 ...