D. Galmiche, J.-M. Notin  Home/Search
Context
Related
| loria.fr/~galmiche/=pape...Lpar03.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: loria.fr/~galmiche/papers (more) Homepages: D.Galmiche |
Rate this article:      (best)Comment on this article |
Abstract: We propose a connection-based characterization of the multiplicative fragment of non-commutative logic (MNL), that is a conservative extension of both commutative (MLL) and non-commutative or cyclic (MCyLL) linear logic. It is based on a characterization for MLL together with the introduction of labels and constraints from a formula polarization process. We also study a similar characterization for the intuitionistic fragment of MNL. Finally, we consider the relationships between these results... (Update)
Active bibliography (related documents): More All
1.2: Based-on dependency Calculi for Non-commutative Logic - Galmiche, Notin (Correct)
0.8: Semantic Labelled Tableaux for Propositional BI - Galmiche, Méry (Correct)
0.7: Calculi with dependency relations for Mixed Linear Logic.. - Galmiche, Notin (Correct)
BibTeX entry: (Update)
@misc{ galmiche-connectionbased,
author = "D. Galmiche and J.-M. Notin",
title = "Connection-Based Proof Construction in Non-Commutative Logic",
url = "citeseer.ist.psu.edu/697463.html" }
Citations (may not include all citations):88 Linear Logic: its Syntax and Semantics - Girard - 1995
58 The Logic of Bunched Implications (context) - O'Hearn, Pym - 1999
42 Non-commutative logic I : the multiplicative fragment - Abrusci, Ruet - 2000
40 Proof nets: the parallel syntax for proof theory (context) - Girard - 1995
29 Non-commutative logic II : sequent calculus and phase semant.. - Ruet - 2000
23 Connection-based proof construction in Linear Logic - Kreitz, Mantel et al. - 1997
18 Annals of Pure and Applied Logic (context) - Andreoli, Proof - 2001
15 Connection Methods in Linear Logic and Proof nets Constructi.. - Galmiche - 2000
14 A procedure for automatic proof nets construction - Galmiche, Perrier - 1992
14 Concurrent constraint programming and non-commutative logic - Ruet, Fages - 1997
5 Proof-search and Proof nets in Mixed Linear Logic (context) - Galmiche, Notin - 2000
5 Proof construction and non-commutativity: a cluster calculus - Faggian - 2000
4 Dominator trees and fast veri cation of proof net (context) - Murawski, Ong - 2000
3 Connection-based proof search in propositional BI logic - Galmiche, Mry - 2002
3 Calculi with Dependency Relations for Mixed Linear Logic - Galmiche, Notin - 2001
3 Quadratic correctness criterion for non commutative logic - Mogbil - 2001
2 Focusing proof-net construction as a middleware paradigm (context) - Andreoli - 2002
2 Specifying and verifying TCPIP using Mixed Intuitionistic Li.. (context) - Power, Specifying et al. - 2001
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