Philippe de Groote, Christian Retoré  Home/Search
Context Related
| loria.fr/~retore/prague.ps loria.fr/~degroote/papers/fg96.ps folli.uva.nl/Esslli/1997/ESS...GR1.PS.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: loria.fr/~retore/available (more) From: folli.uva.nl/Esslli/1997/LC Homepages: C.Retore |
Rate this article:      (best)Comment on this article |
Abstract: The goal of this paper is to demonstrate how the very rich notion of proofnet may be used, in the framework of categorial grammars, as a unique structure that allows the syntactic and semantic aspects of sentence analysis to be unified. We first explain how the intuitionistic multiplicative proof-nets correspond exactly to the so-called linear λ-terms. This allow us to interpret proof-nets not only as syntactic structures but also as semantic readings à la van Benthem. Then, we... (Update)
Context of citations to this paper: More
...of proof nets, describing parsing processes. We want to present here our vision of the generation process based on the proposal of [dG et al..96] for semantic proof nets. The main features of this paper consist in the use of proof nets for lambek calculus, of the Curry Howard...
.... 1991; Lecomte 1992, 1993; Lecomte and Retor e 1995; Oehrle 1994, 1995; Morrill 1996, 1999; Merenciano and Morrill 1997; de Groote and Retor e 1996), that proof nets are for categorial grammar what parse trees are for CFG. This provides a particularly vivid realisation of...
Cited by: More
Proceedings of the Ninth International Workshop on.. - Vancouver October.. (Correct)
Generation with Semantic Proof Nets - Pogodalla (Correct)
Constructing Different Phonological Bracketings From a Proof-Net - Bechet, de Groote (1996) (Correct)
Active bibliography (related documents): More All
0.6: An Algebraic Correctness Criterion for Intuitionistic Proof-Nets - de Groote (1997) (Correct)
0.6: An Algebraic Correctness Criterion for Intuitionistic.. - de Groote (1998) (Correct)
0.2: Relational Interpretation and Geometrical Form - Morrill (Correct)
Similar documents based on text: More All
0.9: Generation in the Lambek Calculus Framework: an Approach with.. - Pogodalla (Correct)
0.3: Tree Adjoining Grammars in Noncommutative Linear.. - Abrusci.. (1997) (Correct)
0.3: A description of the non-sequential execution of Petri-nets in.. - Retore (2000) (Correct)
Related documents from co-citation: More All
4: Pomset logic as an alternative categorial grammar - Lecomte, Retore - 1995
4: Categorial type logics - Moortgat
4: The mathematics of sentence structure (context) - Lambek - 1958
BibTeX entry: (Update)
P. de Groote et C. Retore. -- On the semantic readings of proof-nets. In : Formal Grammar, ed. par G. M. Geert-Jan Kruijff et D. Oehrle. FoLLI, pp. 57--70. -- Prague, August 1996. http://citeseer.ist.psu.edu/degroote96semantic.html More
@inproceedings{ degroote96semantic,
author = "Ph. de Groote and C. Retor\'e",
title = "On the semantic readings of proof-nets",
booktitle = "Formal Grammar",
editor = "G. M. Geert-Jan Kruijff and D. Oehrle",
pages = "57--70",
month = aug,
year = "1996",
url = "citeseer.ist.psu.edu/degroote96semantic.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
248 The mathematics of sentence structure (context) - Lambek - 1958
233 The formulae-as-types notion of construction (context) - Howard - 1980
88 Linear logic: its syntax and semantics - Girard - 1995
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
72 Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
53 Center for the Study of Language and Information (context) - Troelstra, Linear et al. - 1992
46 Resource Logics: proof-theoretical investigations (context) - Roorda - 1991
42 Categorial Investigations: logical and linguistic aspects of.. (context) - Moortgat - 1988
40 Type theoretical grammar (context) - Ranta - 1994
30 Games semantics for full propositional linear logic (context) - Lamarche - 1995
16 Memoisation of categorial proof nets: parallelism in categor.. - Morrill - 1996
16 Local and asynchronous beta-reductions (context) - Danos, Reigner - 1993
10 The semantics of variety in categorial grammar (context) - van Benthem - 1988
10 Lectures on Type-Logical Semantics (context) - Carpenter - 1996
9 Kluwer Academic Publishers (context) - Morrill, Grammar - 1994
5 volume 8 of Cahier du centre de Logique (context) - de Groote, Curry-Howard - 1995
5 Une application de la logique lin#aire # l'#tude des process.. (context) - Danos - 1990
3 Proof nets for the lambek calculus (context) - Lamarche, Retor - 1996
2 monstration pour la linguistique: une introduction # la logi.. (context) - Retor, seaux - 1996
1 Towards eOEcient parsing with proofnets (context) - Lecomte - 1993
1 Lambda calcul et R#seaux (context) - Regnier - 1992
1 volume 130 of Sudies in Logic and the foundation of mathemat.. (context) - van Benthem, action et al. - 1991
Documents on the same site (http://www.loria.fr/~retore/available.html): More
Pomset Logic as a Calculus of Directed Cographs - Retore (1999) (Correct)
Pomset Logic: A Non-Commutative Extension of Classical Linear Logic - Retore (1997) (Correct)
On the Relation Between Coherence Semantics and Multiplicative.. - Retore (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC