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.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...