On the system F as a glue language for natural-language compositional-semantics

Details On the system F as a glue language for natural-language compositional-semantics On the system F as a glue language for natural-language compositional-semantics

2011-08-25

arxiv.org/abs/1108.5084v1

Mathematics

Logic

(24/08/2011)

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

On the system F as a glue language for natural-language compositional-semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the system F as a glue language for natural-language compositional-semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the system F as a glue language for natural-language compositional-semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-319176