Switch to: Citations

Add references

You must login to add references.
  1. Inquiry.R. Stalnaker - 1984 - Mind 94 (376):627-630.
    Download  
     
    Export citation  
     
    Bookmark   213 citations  
  • Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
    The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Categorial Grammar and Lexical-Functional Grammar.Reinhard Muskens - 2001 - In Miriam Butt & Tracey Holloway King (eds.), Proceedings of the LFG01 Conference, University of Hong Kong. Stanford, CA: CSLI Publications. pp. 259-279.
    This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Lambda Grammars and the Syntax-Semantics Interface.Reinhard Muskens - 2001 - In Robert Van Rooij & Martin Stokhof (eds.), Proceedings of the Thirteenth Amsterdam Colloquium. Amsterdam: ILLC. pp. 150-155.
    In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Term-Labeled Categorial Type Systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Presupposition Projection and the Semantics of Attitude Verbs.Irene Heim - 1992 - Journal of Semantics 9 (3):183-221.
    Karttunen observed that, if the complement of an attitude sentence presupposes p, then that sentence as a whole presupposes that the attitude–holder believes p. I attempt to derive some representative instances of this generalization from suitable assumptions about the lexical semantics of attitude predicates. The enterprise is carried out in a framework of context change semantics, which incorporates Stalnaker's suggestion that presupposition projection results from the stepwise fashion in which information is updated in response to complex utterances. The empirical focus (...)
    Download  
     
    Export citation  
     
    Bookmark   140 citations  
  • What 'Must' and 'Can' Must and Can Mean.Angelika Kratzer - 1977 - Linguistics and Philosophy 1 (3):337--355.
    In this paper I offer an account of the meaning of must and can within the framework of possible worlds semantics. The paper consists of two parts: the first argues for a relative concept of modality underlying modal words like must and can in natural language. I give preliminary definitions of the meaning of these words which are formulated in terms of logical consequence and compatibility, respectively. The second part discusses one kind of insufficiency in the meaning definitions given in (...)
    Download  
     
    Export citation  
     
    Bookmark   234 citations  
  • Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Meaning and Partiality.Reinhard Muskens - 1995 - Stanford, CA: CSLI Publications.
    This book radically simplifies Montague Semantics and generalizes the theory by basing it on a partial higher order logic. The resulting theory is a synthesis of Montague Semantics and Situation Semantics. In the late sixties Richard Montague developed the revolutionary idea that we can understand the concept of meaning in ordinary languages much in the same way as we understand the semantics of logical languages. Unfortunately, however, he formalized his idea in an unnecessarily complex way - two outstanding researchers in (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Essays in Logical Semantics.Johan van Benthem - 1988 - Journal of Symbolic Logic 53 (3):990-991.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Some 3-Dimensional Systems of Labelled Deduction.Dick Oehrle - 1995 - Logic Journal of the IGPL 3 (2-3):429-448.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Type Logical Grammar Categorial Logic of Signs.Glyn V. Morrill - 1994
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Language in Action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • The Mathematics of Sentence Structure.Joachim Lambek - 1968 - Journal of Symbolic Logic 33 (4):627-628.
    Download  
     
    Export citation  
     
    Bookmark   102 citations