Alain Lecomte, Christian Retore  Home/Search
Context Related
| bshm.upmfgrenoble.f...LecomteRetore.ps brassens.upmfgrenob...LecomteRetore.ps 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: bshm.upmfgrenoble....alainpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we describe the principles of a syntactic calculus whose building blocks are partial proof-nets or modules. The main idea is to associate with each lexical item one or more modules which encode(s) its syntactic behaviour. The simplest of these modules are obtained by unfolding the components of formulae that would be the type(s) of the lexical items in a type-logical grammar a la Morrill (1994), while the more sophisticated ones really go beyond the usual type-logical approach.... (Update)
Context of citations to this paper: More
.... and the Proof Net approach, as they call the formalisms advocated in the paper by Abrusci et al. as well as by Lecomte and Retor [78,79]. The latter viewpoint is reflected in another paper Pomset logic and variants in natural languages by Irene SCHENA. The author proposes...
...labels from a finite set of terminal symbols. Then, as a restriction of the lexicalized intuitionistic labeled proof nets defined in [LR96], we define: Definition 7. 1. Output: An output is either a B edge that is labeled by a positive atom or the conclusion of a par link...
Cited by: More
Incremental Parsing Of Lambek Calculus Using Proof-Net.. - Denis Echet Irisa (2003) (Correct)
Lexicalized Proof-Nets and TAGs - Pogodalla (Correct)
Pomset Logic and Variants in Natural Languages - Schena (Correct)
Similar documents (at the sentence level):
66.6%: Words as Modules: a Lexicalised Grammar in the framework.. - Lecomte, Retoré (1997) (Correct)
7.2%: Words as Modules and Modules as Partial Proof-Nets in a.. - Lecomte, Retoré (1996) (Correct)
Active bibliography (related documents): More All
0.2: A Functional Interpretation Scheme for D-Tree Grammars - Hepple (1999) (Correct)
0.2: Constrained Non-Locality in Syntax:Long-Distance Dependencies in.. - Kulick (1998) (Correct)
0.2: An alternative description of extractions in TAG - Kahane, Candito, de Kercadio (2000) (Correct)
Similar documents based on text: More All
0.3: Towards Efficient Parsing With Proof-Nets - Lecomte (Correct)
0.3: Extending Lambek grammars: a logical account of minimalist.. - Lecomte, Retoré (Correct)
0.2: Pomset Logic as an Alternative Categorial Grammar - Lecomte, Retore (1995) (Correct)
Related documents from co-citation: More All
3: The mathematics of sentence structure (context) - Lambek - 1958
3: Pomset logic as an alternative categorial grammar - Lecomte, Retore - 1995
2: Pomset logic: a non-commutative extension of classical linear logic - Retore - 1997
BibTeX entry: (Update)
Alain Lecomte and Christian Retoré. Words as modules: a lexicalised grammar in the framework of linear logic proof nets. In Carlos Martin-Vide, editor, International Conference on Mathematical Linguistics II. John Benjamins, Amsterdam, 1997. http://citeseer.ist.psu.edu/lecomte97words.html More
@inproceedings{ lecomte97words,
author = "A. Lecomte and C. Retore",
title = "Words as modules: a lexicalised grammar in the framework of linear logic
proof nets",
editor = "Carlos Martin-Vide",
booktitle = "International Conference on Mathematical Linguistics II. John Benjamins, Amsterdam",
year = "1997",
url = "citeseer.ist.psu.edu/lecomte97words.html" }
Citations (may not include all citations):242 Linear logic (context) - Jean-Yves - 1987
88 Linear logic: its syntax and semantics - Jean-Yves - 1995
57 An introduction to tree adjoining grammars (context) - Aravind - 1987
54 Phase semantics and sequent calculus for pure noncommutative.. (context) - Vito - 1991
42 Type Logical Grammar (context) - Glyn - 1994
35 Pomset logic: a non-commutative extension of classical linea.. - Christian - 1995
32 Long distance scrambling and tree adjoining grammars (context) - Tilman, Aravind et al. - 1991
22 Pomset logic as an alternative categorial grammar - Alain, Christian - 1995
19 Partial proof trees as building blocks for a categorial gram.. - Aravind, Seth - 1995
15 Reseaux et Sequents. Ordonnes (context) - Christian - 1993
5 and Weir, David. 1995. "D-tree grammars - Owen - 1995
Documents on the same site (http://www-bshm.upmf-grenoble.fr/~alecomte/alainpapers.html): More
Words as Modules and Modules as Partial Proof-Nets in a.. - Lecomte, Retoré (1996) (Correct)
Proof-Nets And Dependencies - Lecomte (1992) (Correct)
Pomset Logic as an Alternative Categorial Grammar - Lecomte, Retore (1995) (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