Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download
Contributor : Christian Retoré <>
Submitted on : Friday, May 17, 2013 - 12:08:39 PM
Last modification on : Thursday, November 8, 2018 - 11:48:02 AM
Document(s) archivé(s) le : Sunday, August 18, 2013 - 4:14:28 AM


Files produced by the author(s)


  • HAL Id : hal-00823554, version 1



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



Record views


Files downloads