On Logical Relations and Conservativity

11 pages•Published: 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.

Links:	https://easychair.org/publications/paper/LTBM
	https://doi.org/10.29007/gwlt

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 PDF Open PDF in browser