Didier Galmiche, Guy Perrier  Home/Search
Context Related
| loria.fr/~galmiche/lpar92.ps.Z loria.fr/~galmiche/=paper...Lpar92.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/~galmiche/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . In this paper, we consider the multiplicative fragment of linear logic (MLL) from an automated deduction point of view. Before to use this new logic to make logic programming or to program with proofs, a better comprehension of the proof construction process in this framework is necessary. We propose a new algorithm to construct automatically a proof net for a given sequent in MLL and its proofs of termination, correctness and completeness. It can be seen as an implementation oriented way to... (Update)
Context of citations to this paper: More
.... labelled sequent calculi [13] The use of labelled proof nets and the adaptation of related algorithms for proof nets construction [53, 55] allow to propose a method for linear intuitionistic provability that is complete. But what about the de nition and the use of proof...
.... primary properties as classical logic [26] The desire for a matrix characterization of linear logic has already been expressed in [8]. Because of a superficial similarity between matrix characterizations and proof nets it is very likely that this can be achieved at least...
Cited by: More
Connection-Based Proof Construction in Non-Commutative Logic - Galmiche, Notin (Correct)
Based-on dependency Calculi for Non-commutative Logic - Galmiche, Notin (Correct)
Connection-Based Proof Construction in Linear Logic - Kreitz, Mantel, Otten, Schmitt (1997) (Correct)
Similar documents (at the sentence level):
51.1%: A Procedure for Automatic Proof Nets Construction - Galmiche, Perrier (1992) (Correct)
Active bibliography (related documents): More All
0.4: On Proof Normalization in Linear Logic - Galmiche, Perrier (1994) (Correct)
0.2: Computational Interpretations of Linear Logic - Abramsky (1993) (Correct)
0.2: Connection Methods in Linear Logic and Proof Nets Construction - Galmiche (1999) (Correct)
Similar documents based on text: More All
0.1: Proof Search and Proof nets Construction in Linear Logic - Galmiche, Martin (1997) (Correct)
0.1: Foundations of Proof Search Strategies Design in Linear Logic - Galmiche, Perrier (1994) (Correct)
0.1: Dealing with additives in MALL proof search - Galmiche, Marion (1995) (Correct)
Related documents from co-citation: More All
13: Theoretical Computer Science (context) - Girard - 1987
11: Proof-nets: the parallel syntax for proof-theory (context) - Girard - 1996
8: On proof normalization in linear logic - Galmiche, Perrier - 1994
BibTeX entry: (Update)
D. Galmiche and G. Perrier. A procedure for automatic proof nets construction. In LPAR'92, International Conference on Logic Programming and Automated Reasoning, LNAI 624, pages 42--53, St. Petersburg, Russia, July 1992. http://citeseer.ist.psu.edu/galmiche92procedure.html More
@inproceedings{ galmiche92procedure,
author = "Didier Galmiche and Guy Perrier",
title = "A procedure for automatic proof nets construction",
booktitle = "Proceedings of the International Conference on Logic Programming and Automated Reasoning",
publisher = "Springer-Verlag LNAI 624",
address = "St.~Petersburg, Russia",
editor = "A. Voronkov",
pages = "42--53",
year = "1992",
url = "citeseer.ist.psu.edu/galmiche92procedure.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
268 Proofs and Types (context) - Girard, Taylor et al. - 1989
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1991
233 Computational interpretations of linear logic - Abramsky - 1991
112 Constructivism in Mathematics (context) - Troelstra, Van Dalen
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1990
73 Theorem proving via general mating (context) - Andrews - 1981
72 Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
69 On matrices with connections (context) - Bibel - 1981
68 Towards a geometry of interaction (context) - Girard - 1987
66 Generating plans in linear logic (context) - Masseron, Tollu et al. - 1990
30 Logic programming with sequent systems: A linear logic appro.. (context) - Andreoli, Pareschi - 1989
13 Proof nets for multiplicative and additive linear logic (context) - Bellin - 1991
10 Automated deduction in additive and multiplicative linear lo.. (context) - Galmiche, Perrier - 1992
6 Constructive system for automatic program synthesis (context) - Galmiche - 1990
5 A typed calculus based on a fragment of linear logic (context) - Solitro - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.loria.fr/~galmiche/papers.html): More
SKIL: A System for Programming with Proofs - Galmiche, Hermann (1993) (Correct)
On Proof Normalization in Linear Logic - Galmiche, Perrier (1994) (Correct)
Program Development in Constructive Type Theory - Galmiche (1992) (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