On the system F as a glue language for natural-language compositional-semantics
Logic
2011-08-29 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1108.5084,
title = {On the system F as a glue language for natural-language compositional-semantics},
author = {Christian Retoré},
journal= {arXiv preprint arXiv:1108.5084},
year = {2011}
}
Comments
(24/08/2011)