Download PDFOpen PDF in browser

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

EasyChair Preprint no. 209, version 2

Versions: 12history
15 pagesPublished: August 22, 2018

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". 

Keyphrases: beta-reduction, categorial grammar, head variable, Montague semantics, typed lambda calculus

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@Booklet{EasyChair:209,
  author = {Davide Catta and Richard Moot and Christian Retoré},
  title = {Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.},
  howpublished = {EasyChair Preprint no. 209},
  doi = {10.29007/mhx8},
  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser