Download PDFOpen PDF in browser

On Logical Relations and Conservativity

11 pagesPublished: July 7, 2015

Abstract

This paper, which attempts to develop an abstract construct that generalizes the intensionalization procedure introduced by Kanazawa and de Groote,
advocates for the use of logical relations in order to establish conservativity
results.

Keyphrases: conservativity, logical relation, montague semantics

In: Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors). NLCS'15. Third Workshop on Natural Language and Computer Science, vol 32, pages 1-11.

BibTeX entry
@inproceedings{NLCS'15:Logical_Relations_Conservativity,
  author    = {Philippe de Groote},
  title     = {On Logical Relations and Conservativity},
  booktitle = {NLCS'15. Third Workshop on Natural Language and Computer Science},
  editor    = {Makoto Kanazawa and Lawrence S. Moss and Valeria de Paiva},
  series    = {EPiC Series in Computing},
  volume    = {32},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/LTBM},
  doi       = {10.29007/gwlt},
  pages     = {1-11},
  year      = {2015}}
Download PDFOpen PDF in browser