On the semantic readings of proof-nets - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1996

On the semantic readings of proof-nets

Résumé

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

Dates et versions

hal-00823554 , version 1 (17-05-2013)

Identifiants

  • HAL Id : hal-00823554 , version 1

Citer

Philippe de Groote, Christian Retoré. On the semantic readings of proof-nets. Formal grammar 1996, 1996, Prague, Czech Republic. pp.57--70. ⟨hal-00823554⟩
152 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More