Back to Search
Start Over
On the system F as a glue language for natural-language compositional-semantics
- Publication Year :
- 2011
-
Abstract
- In order to model in compositional framework some phenomena of lexical pragmatics and in particular the ones studied by Nicholas Asher several contributions developed in our team did use the system F of Jean-Yves Girard to construct logical formulae expressing the meaning of sentences --- while other authors prefer to use Per Martin-L\"of's type theory In this note we explain the motivations supporting our preference for system F.<br />Comment: (24/08/2011)
- Subjects :
- Mathematics - Logic
Computer Science - Logic in Computer Science
Subjects
Details
- Database :
- arXiv
- Publication Type :
- Report
- Accession number :
- edsarx.1108.5084
- Document Type :
- Working Paper