Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.

## Authors: Davide Catta, Richard Moot and Christian RetorĂ©

## Paper Information

Title: | Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. |

Authors: | Davide Catta, Richard Moot and Christian RetorĂ© |

Proceedings: | NLCS pre-workshop papers |

Editors: | Larry Moss, Valeria de Paiva and Ash Asudeh |

Keywords: | categorial grammar, Montague semantics, typed lambda calculus, beta reduction, head variable |

Abstract: | ABSTRACT. A natural question in categorial grammar is the relation between a syntactic analysis s and the logical form, i.e. the logical formula obtained from this syntactic analysis, once provided with semantic lambda terms. More precisely, do different syntactic analyses fed with equal semantic terms, lead to equal logical form? We shall show that when this question is too simply formulated, the answer is "NO" while with some constraints on semantic lambda terms the answer is "yes". |

Pages: | 13 |

Talk: | Jul 07 16:30 (Session 31K: Contributed talks) |

Paper: |