Révision :

Révisions

# Date Auteur Commentaire
20 07/04/2016 11:02 Patrick Baillot

corrected some mistakes on terminology: active->principal formula
19 06/04/2016 23:59 Anupam Das
18 06/04/2016 17:00 Patrick Baillot

Updated the proof of free-cut elimination.
17 06/04/2016 14:56 Patrick Baillot

Revised the conditions for the non-logical rules (R), on p.2.
16 05/04/2016 16:45 Patrick Baillot

Revised the notion of anchored cut.
15 31/03/2016 23:10 Patrick Baillot

.
14 31/03/2016 17:49 Patrick Baillot

Proof of free-cut elimination is in progress...
13 30/03/2016 16:30 Patrick Baillot

I added a few dfitinions and statement of main thm in sect 2
12 30/03/2016 13:45 Anupam Das
11 30/03/2016 13:40 Anupam Das
10 30/03/2016 13:34 Anupam Das

added sequent calculus for linear logic
9 29/03/2016 18:09 Anupam Das
8 29/03/2016 18:05 Anupam Das
7 29/03/2016 17:26 Anupam Das
6 29/03/2016 17:16 Anupam Das
5 29/03/2016 16:58 Anupam Das
4 29/03/2016 13:14 Anupam Das
3 29/03/2016 12:45 Anupam Das
2 29/03/2016 00:11 Anupam Das

added files
1 23/03/2016 14:33 Patrick Baillot

est

« Précédent 1 ... 9 10 11 (251-270/270) | Par page : 25, 50, 100

Formats disponibles : Atom