On Logical Relations and Conservativity - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

On Logical Relations and Conservativity

Philippe de Groote

Résumé

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.
Fichier principal
Vignette du fichier
degroote-nlcs15.pdf (315.33 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01188619 , version 1 (07-06-2023)

Identifiants

Citer

Philippe de Groote. On Logical Relations and Conservativity. NLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11, ⟨10.29007/gwlt⟩. ⟨hal-01188619⟩
231 Consultations
11 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More