On the semantic readings of proof-nets

Philippe De Groote 1 Christian Retoré 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The goal of this paper is to demonstrate how the very rich notion of proof-net may be used, in the framework of categorial grammars, as a unique structure that allows the syntactic and semantic apsects of sentence analysis to be unified. We first explain how the intuitionistic multiplicative proof nets correspond exactly to the so-called linear lambda-terms. This allow us to interpret proof-nets not only as syntatic structures but also as sematnic readings à la van Benthem. The we generalize the correspondence between proof-nets and lambda-terms to the complete categorial hierarchy, and we show how Montague-like semantics may be handled in this framework.
Type de document :
Communication dans un congrès
Geert-Jan Kruijff, Glyn Morrill, and Dick Oehrle. Formal grammar 1996, 1996, Prague, Czech Republic. FoLLI, pp.57--70, 1996
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00823554
Contributeur : Christian Retoré <>
Soumis le : vendredi 17 mai 2013 - 12:08:39
Dernière modification le : jeudi 8 novembre 2018 - 11:48:02
Document(s) archivé(s) le : dimanche 18 août 2013 - 04:14:28

Fichier

fg96.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00823554, version 1

Collections

Citation

Philippe De Groote, Christian Retoré. On the semantic readings of proof-nets. Geert-Jan Kruijff, Glyn Morrill, and Dick Oehrle. Formal grammar 1996, 1996, Prague, Czech Republic. FoLLI, pp.57--70, 1996. 〈hal-00823554〉

Partager

Métriques

Consultations de la notice

190

Téléchargements de fichiers

184