D. Galmiche and B. Martin. Automated proof nets construction in multiplicative and additive linear logic. Technical report, CRIN-CNRS, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Connection Methods in Linear Logic and Proof Nets Construction - Galmiche (1999) (10 citations) Self-citation (Galmiche) (Correct)
....the automated deduction in LL fragments using the proof net notion. Even if we could consider this proposal of connection characterization of provability in MLL as natural for specialists in the connection method, we show, as a main result, that an algorithm for automated proof nets construction [24, 20, 21], which could seem natural to specialists in proof nets, can provide a connection method for MLL and vice versa. As illustration, we consider a procedure for proof net construction developed in [24] and revised in [20] An important characteristic of its derived connection method is that a sequent ....
....a main result, that an algorithm for automated proof nets construction [24, 20, 21] which could seem natural to specialists in proof nets, can provide a connection method for MLL and vice versa. As illustration, we consider a procedure for proof net construction developed in [24] and revised in [20]. An important characteristic of its derived connection method is that a sequent proof can be also constructed in parallel, avoiding problems such as sequent reconstruction from the two following points of view: construction of a sequent proof from a proof net [6] or construction of a sequent from ....
[Article contains additional citation context not shown here]
D. Galmiche and B. Martin. Automated proof nets construction in multiplicative and additive linear logic. Technical report, CRIN-CNRS, 1997.
Proof Search and Proof nets Construction in Linear Logic - Galmiche, Martin (1997) (1 citation) Self-citation (Galmiche Martin) (Correct)
....leave in CRIN CNRS during a training period in 1996. 1 Regarding recent proposals for MALL proof nets definition [10] and for proof net construction [11] that is presented as an extension of [8] we can define a new algorithm for MALL proof nets construction and prove its essential properties [7]. In further works, we will study the deep relationships with our results about proof search in the MALL fragment with specific management of the additive connectives [6] and also with our recent investigations on connection methods and their applications to proof nets construction [4] ....
D. Galmiche and B. Martin. Automated proof nets construction in multiplicative and additive linear logic. Technical report, CRIN-CNRS, 1997.
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