Switch to: References

Add citations

You must login to add citations.
  1. Adjectival and Adverbial Modification: The View From Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.
    In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   2 citations  
  • Natural Language Semantics and Computability.Richard Moot & Christian Retoré - 2019 - Journal of Logic, Language and Information 28 (2):287-307.
    This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...)
    Direct download (2 more)  
    Export citation