Switch to: References

Add citations

You must login to add citations.
  1. Deverbal Semantics and the Montagovian Generative Lexicon Lambda !mathsf {Ty}_n.Livy Real & Christian Retoré - 2014 - Journal of Logic Language and Information 23 (3):347-366.
    We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, which show that nominalisations focus (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n.Livy Real & Christian Retoré - 2014 - Journal of Logic, Language and Information 23 (3):347-366.
    We propose a lexical account of event nouns, in particular of deverbal nominalisations, whose meaning is related to the event expressed by their base verb. The literature on nominalisations often assumes that the semantics of the base verb completely defines the structure of action nominals. We argue that the information in the base verb is not sufficient to completely determine the semantics of action nominals. We exhibit some data from different languages, especially from Romance language, which show that nominalisations focus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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  
     
    Bookmark  
  • Category theory, logic and formal linguistics: Some connections, old and new.Jean Gillibert & Christian Retoré - 2014 - Journal of Applied Logic 12 (1):1-13.
  • Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations