11 found
Order:
See also
  1.  9
    Incrementality and Intention-Recognition in Utterance Processing.Eleni Gregoromichelaki, Ruth Kempson, Matthew Purver, Gregory Mills, Ronnie Cann, Wilfried Meyer-Viol & Patrick G. T. Healey - 2011 - Dialogue and Discourse 2 (1):199-232.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  22
    Linguistics, Logic and Finite Trees.Patrick Blackburn & Wilfried Meyer-Viol - 1994 - Logic Journal of the IGPL 2 (1):3-29.
    A modal logic is developed to deal with finite ordered binary trees a they are used in linguistics. A modal language is introduced with operators for the ‘mother of’, ‘first daughter of’ and ‘second daughter of’ relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3. Instantial Logic.Wilfried Meyer-Viol - 1995 - Universtiteit Utrecht.
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  4.  10
    Modal Logic and Model-Theoretic Syntax.Patrick Blackburn & Wilfried Meyer-Viol - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 29--60.
  5. Indefinites as Epsilon Terms: A Labelled Deduction Account.Ruth Kempson, Wilfried Meyer-Viol, Rodger Dibble & Dov Gabbay - unknown
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  6.  9
    A Proof-Theoretic Treatment Of Assignments.Wilfried Meyer-Viol - 1995 - Logic Journal of the IGPL 3 (2-3):223-242.
  7. Relative Clauses, Left-Periphery Effects, and the Dynamics of Language Processing.Ruth Kempson & Wilfried Meyer-Viol - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Syntactic Computation as Labelled Deduction: WH a Case Study.Ruth Kempson, Wilfried Meyer-Viol & Dov Gabbay - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Language Understanding: A Procedural Perspective.Ruth Kempson, Wilfried Meyer-Viol & Dov Gabbay - unknown
    Translate
     
     
    Export citation  
     
    Bookmark  
  10. Growth of Logical Form: The Dynamics of Syntax.Ruth Kempson, Wilfried Meyer-Viol & Masayuki Otsuka - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn. Elsevier Science.
     
    Export citation  
     
    Bookmark  
  11. Indefinites and Scope Choice.Ruth Kempson & Wilfried Meyer-Viol - 2004 - In Marga Reimer & Anne Bezuidenhout (eds.), Descriptions and Beyond. Oxford University Press.
     
    Export citation  
     
    Bookmark