Now showing items 21-33 of 33

    • Incremental processing and acceptability 

      Morrill, Glyn (1998-09)
      External research report
      Open Access
      We present a left to right incremental algorithm for the processing of Lambek categorial grammar by proof net construction. A simple metric of complexity, the profile in time of the number of unresolved valencies, correctly ...
    • Islands, coordination and parasitic gaps 

      Morrill, Glyn (2002-02)
      External research report
      Open Access
      We present type logical grammar of left extraction with attention to islands, coordination and parasitic gaps. We consider implementation in proof nets. The account suggests a measure of the semigrammaticality of island ...
    • Lògica de primer ordre 

      Morrill, Glyn (Edicions UPC, 2001)
      Book
      Restricted access to the UPC academic community
      Aquest llibre presenta la teoria estàndard de la lògica de primer ordre. Conté demostracions completes de bastants dels resultats més importants de la lògica, inclosos la solidesa, la completesa, el teorema de Löwenheim-Skolem, ...
    • Memoisation of categorial proof nets: parallelism in categorial processing 

      Morrill, Glyn (1996-02)
      External research report
      Open Access
      We introduce a method of memoisation of categorial proof nets. Exploiting the planarity of non-commutative proof nets, and unifiability as a correctness criterion, parallelism is simulated through construction of a ...
    • 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 ...
    • Overtly anaphoric control in type logical grammar 

      Corbalán, María Inés; Morrill, Glyn (Springer, 2016)
      Conference report
      Open Access
      In this paper we analyse anaphoric pronouns in control sentences and we investigate the implications of these kinds of sentences in relation to the Propositional Theory versus Property Theory question. For these purposes, ...
    • Parsing logical grammar: CatLog3 

      Morrill, Glyn (Stockholm University, 2017)
      Conference report
      Open Access
      CatLog3 is a Prolog parser/theorem-prover for (type) logical (categorial) grammar. In such logical grammar, grammar is reduced to logic: a string of words is grammatical if and only if an associated logical statement is a ...
    • Parsing/theorem-proving for logical grammar CatLog3 

      Morrill, Glyn (Springer, 2019-06)
      Article
      Open Access
      CatLog3 is a 7000 line Prolog parser/theorem-prover for logical categorial grammar. In such logical categorial grammar syntax is universal and grammar is reduced to logic: an expression is grammatical if and only if an ...
    • 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 ...
    • Structural ambiguity in Montague Grammar and categorial grammar 

      Morrill, Glyn (2015-01)
      Article
      Restricted access - publisher's policy
      We give a type logical categorial grammar for the syntax and semantics of Montague's seminal fragment, which includes ambiguities of quantification and intensionality and their interactions, and we present the analyses ...
    • Syntactic connectivity 

      Morrill, Glyn (1998-03)
      External research report
      Open Access
      Type logical grammar presents a paradigm of linguistic description based on what we may refer to as a Lambek-van Benthem correspondence: (logical) formulas as (linguistic) categories. Lexical signs are classified ...
    • Type-logical anaphora 

      Morrill, Glyn (2000-12)
      External research report
      Open Access
      We present a type-logical account of anaphora. The principal means is the introduction of type-constructors for `secondary wrap': wrap around the second of two split points in a discontinuous string. We illustrate in ...