11 found
Order:
Disambiguations
Glyn Morrill [10]Glyn V. Morrill [1]
  1. Type Logical Grammar Categorial Logic of Signs.Glyn V. Morrill - 1994
     
    Export citation  
     
    My bibliography   11 citations  
  2.  14
    The Displacement Calculus.Glyn Morrill, Oriol Valentín & Mario Fadda - 2011 - Journal of Logic, Language and Information 20 (1):1-48.
    If all dependent expressions were adjacent some variety of immediate constituent analysis would suffice for grammar, but syntactic and semantic mismatches are characteristic of natural language; indeed this is a, or the, central problem in grammar. Logical categorial grammar reduces grammar to logic: an expression is well-formed if and only if an associated sequent is a theorem of a categorial logic. The paradigmatic categorial logic is the Lambek calculus, but being a logic of concatenation the Lambek calculus can only capture (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  23
    Intensionality and Boundedness.Glyn Morrill - 1990 - Linguistics and Philosophy 13 (6):699 - 726.
  4.  13
    Discontinuity in Categorial Grammar.Glyn Morrill - 1995 - Linguistics and Philosophy 18 (2):175 - 219.
    Discontinuity refers to the character of many natural language constructions wherein signs differ markedly in their prosodic and semantic forms. As such it presents interesting demands on monostratal computational formalisms which aspire to descriptive adequacy. Pied piping, in particular, is argued by Pollard (1988) to motivate phrase structure-style feature percolation. In the context of categorial grammar, Bach (1981, 1984), Moortgat (1988, 1990, 1991) and others have sought to provide categorial operators suited to discontinuity. These attempts encounter certain difficulties with respect (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  1
    Clausal Proofs and Discontinuity.Glyn Morrill - 1995 - Logic Journal of the IGPL 3 (2-3):403-427.
    We consider the task of theorem proving in Lambek calculi and their generalisation to ‘multimodal residuation calculi’. These form an integral part of categorial logic, a logic of signs stemming from categorial grammar, of the basis of which language processing is essentially theorem proving. The demand of this application is not just for efficient processing of some or other specific calculus, but for methods that will be generally applicable to categorial logics.It is proposed that multimodal cases be treated by dealing (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  23
    Grammar and Logic.Glyn Morrill - 1996 - Theoria 62 (3):260-293.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  22
    Compositionality, Implicational Logics, and Theories of Grammar.Glyn Morrill & Bob Carpenter - 1990 - Linguistics and Philosophy 13 (4):383 - 392.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  8.  5
    Logical Aspects of Computational Linguistics (LACL'01).Philippe de Groote, Glyn Morrill & Christian Retoré - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  7
    Logical Grammar.Glyn Morrill - 2012 - In Ruth Kempson, Tim Fernando & Nicholas Asher (eds.), Philosophy of Linguistics. North Holland. pp. 63.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  1
    On Bound Anaphora in Type Logical Grammar.Glyn Morrill - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora. Kluwer Academic Publishers. pp. 159--177.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11. Grammar Logicised: Relativisation.Glyn Morrill - 2017 - Linguistics and Philosophy 40 (2):119-163.
    Many variants of categorial grammar assume an underlying logic which is associative and linear. In relation to left extraction, the former property is challenged by island domains, which involve nonassociativity, and the latter property is challenged by parasitic gaps, which involve nonlinearity. We present a version of type logical grammar including ‘structural inhibition’ for nonassociativity and ‘structural facilitation’ for nonlinearity and we give an account of relativisation including islands and parasitic gaps and their interaction.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography