Switch to: References

Add citations

You must login to add citations.
  1. New Directions in Type-Theoretic Grammars.Reinhard Muskens - 2010 - Journal of Logic, Language and Information 19 (2):129-136.
    This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its manifestation, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Against Ellipsis: Arguments for the Direct Licensing of ‘Noncanonical’ Coordinations.Yusuke Kubota & Robert Levine - 2015 - Linguistics and Philosophy 38 (6):521-576.
    Categorial grammar is well-known for its elegant analysis of coordination enabled by the flexible notion of constituency it entertains. However, to date, no systematic study exists that examines whether this analysis has any obvious empirical advantage over alternative analyses of nonconstituent coordination available in phrase structure-based theories of syntax. This paper attempts precisely such a comparison. We compare the direct constituent coordination analysis of non-canonical coordinations in categorial grammar with an ellipsis-based analysis of the same phenomena in the recent HPSG (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Agnostic Hyperintensional Semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.
    A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Higher-Order Theory of Presupposition.Scott Martin & Carl Pollard - 2012 - Studia Logica 100 (4):727-751.
    So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...)
    Download  
     
    Export citation  
     
    Bookmark