and Semantics of Natural Languages GUY PERRIER, LORIA, Universite Nancy 2,...  Home/Search
Context
Related
| www3.oup.co.uk/igpl/Vol...Perrier.ps.gz 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: www3.oup.co.uk/igpl...#conference (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose to represent the syntax and semantics of natural languages with labelled proof nets in the implicative fragment of intuitionistic linear logic. Resource-sensitivity of linear logic is used to express all dependencies between the syntactic constituents of a sentence in the form of a proof net. Phonological and semantic labelling of the proof net from its inputs to the unique output are used to produce the well-formed phonological form and the semantic representation of a sentence ... (Update)
Similar documents (at the sentence level):
63.0%: Labelled Proof Nets for the Syntax and Semantics of Natural.. - Perrier (1999) (Correct)
Active bibliography (related documents): More All
0.4: Categorial Type Logics - Moortgat (Correct)
0.3: Difference Lists and Difference Bags for Logic Programming.. - (Llore), Morrill (Correct)
0.2: Labelled Deduction in the Composition of Form and Meaning - Moortgat (Correct)
Similar documents based on text: More All
0.4: Intuitionistic Multiplicative Proof Nets as Models of Directed.. - Perrier (Correct)
0.2: Foundations of Proof Search Strategies Design in Linear Logic - Galmiche, Perrier (1994) (Correct)
0.2: Concurrent Programming as Proof Net Construction - Perrier (1997) (Correct)
BibTeX entry: (Update)
@misc{ of-labelled,
author = "And Semantics Of",
title = "Labelled Proof Nets for the Syntax",
url = "citeseer.ist.psu.edu/650570.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
88 Categorial Type Logics - Moortgat - 1996
42 Categorial Investigations: Logical and Linguistic Aspects of.. (context) - Moortgat - 1988
41 Universal grammar (context) - Montague - 1970
35 Labelled deductive systems for categorial theorem proving (context) - Moortgat - 1992
35 Lambek grammars are context free - Pentus - 1993
30 Games semantics for full propositional linear logic (context) - Lamarche - 1995
27 Heads and phrases: Type calculus for dependency and constitu.. - Moortgat, Morrill - 1991
19 Higher order linear logic programming of categorial deductio.. - Morrill - 1995
16 Proof Nets for Intuitionistic Linear Logic I: Essential Nets (context) - Lamarche - 1994
16 The multiplicative fragment of linear logic is NP-complete (context) - Kanovich - 1991
14 Clausal proofs and discontinuity - Morrill - 1995
12 Term-labeled categorial type systems (context) - Oehrle - 1994
10 Grammar and logical types - Morrill - 1990
9 Kluwer Academic Publishers (context) - Morrill, Grammar - 1994
8 Les nouvelles syntaxes (context) - Abeill - 1993
8 From proof nets to games (context) - Lamarche - 1996
6 Proof-Theoretical Investigations (context) - Roorda - 1991
3 Structural operations and structural modalities (context) - Barry, Hepple et al. - 1991
2 A correctness criterion for intuitionistic proof nets (context) - de Groote - 1997
2 Ein dialogisches konstruktivitaetskriterium (context) - Lorenzen - 1959
2 Generation as deduction (context) - Merenciano, Morrill - 1996
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_07/Issue_05/#conference): More
Addendum to the paper "Belnap's four-valued logic and De Morgan.. - Font (1999) (Correct)
Description of Modal Logics Inheriting Admissible Rules for S4 - Rybakov, Gencer, Oner (1999) (Correct)
Labelled Proof Nets for the Syntax and Semantics of Natural.. - Perrier (1999) (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