Activité
Du 24/03/2016 au 22/04/2016
21/04/2016
18/04/2016
- 14:23 Révision 110
- 10:59 Révision 109
- 01:57 Révision 108
- 01:27 Révision 107
- 01:25 Révision 106: revised sect 3
- 01:05 Révision 105: bc-convergence appendix
- 00:32 Révision 104
- 00:19 Révision 103
- 00:19 Révision 102
- 00:17 Révision 101: draft
- 00:14 Révision 100: .
- 00:14 Révision 99
- 00:13 Révision 98
- 00:11 Révision 97
- 00:02 Révision 96: sect 5: simultaneous PRN
17/04/2016
- 23:51 Révision 95: sect 5: BC=FP
- 23:35 Révision 94: partly revised sect 5
- 22:31 Révision 93
- 21:51 Révision 92
- 20:37 Révision 91
- 20:31 Révision 90: wfm
- 17:40 Révision 89
- 15:42 Révision 88: arithmetic section finished
- 10:40 Révision 87
- 00:24 Révision 86: references in introduction
16/04/2016
- 23:37 Révision 85: related work
- 23:21 Révision 84: .
- 20:59 Révision 83: conclusions
- 03:10 Révision 82: .
- 02:14 Révision 81: .
- 01:21 Révision 80: .
- 00:59 Révision 79: Added 2 lemmas in sect 3 for the proof of free-cut elimination
15/04/2016
- 18:44 Révision 78
- 17:54 Révision 77
- 17:48 Révision 76: definition of anchore cut revised
- 17:26 Révision 75
- 17:03 Révision 74: .
- 16:45 Révision 73
- 16:19 Révision 72: .
- 16:13 Révision 71
- 16:02 Révision 70: free-cut elimination for guarded quantifiers
- 15:29 Révision 69
- 15:04 Révision 68: stated free-cut elim with guarded quantifiers
- 14:32 Révision 67
- 14:29 Révision 66: .
- 14:26 Révision 65: replaced \nat with \word in sect 4.3
- 14:22 Révision 64
- 13:10 Révision 63: example of rule (R) after definition
- 11:42 Révision 62: Revised conditions on nonlogical rules.
- 11:39 Révision 61
- 11:35 Révision 60
- 10:58 Révision 59
- 09:01 Révision 58
- 01:18 Révision 57
14/04/2016
- 23:51 Révision 56: updated 5.1, and first thm of 5.2
- 23:35 Révision 55: BC defined on words
- 18:49 Révision 54
- 16:23 Révision 53
- 14:44 Révision 52: .
- 11:32 Révision 51: Intro continued
- 11:01 Révision 50: convergence stuff
- 10:45 Révision 49: wrote a beginning for the introduction
- 10:30 Révision 48
- 02:09 Révision 47
13/04/2016
- 17:29 Révision 46: added new induction rule
- 14:08 Révision 45: Added a proposal of organization at the beginning
- 13:01 Révision 44: Added some items in the draft for introduction
12/04/2016
- 19:24 Révision 43
11/04/2016
- 14:22 Révision 42
- 13:57 Révision 41: completed PRN case
- 12:42 Révision 40
- 09:39 Révision 39
08/04/2016
- 23:02 Révision 38: Revised the case of weak cut in free-cut elimination
- 19:30 Révision 37
- 16:22 Révision 36
- 11:24 Révision 35
- 09:59 Révision 34
07/04/2016
- 18:05 Révision 33: added main and input files
- 16:32 Révision 32: .
- 14:27 Révision 31
- 14:25 Révision 30: Completed the free-cut elimination proof
- 14:12 Révision 29
- 14:04 Révision 28
- 12:55 Révision 27
- 12:28 Révision 26: recovered previous material
- 12:14 Révision 25
- 11:48 Révision 24: some conflicts resolved
- 11:46 Révision 23
- 11:44 Révision 22: Moved the proof of free-cut elimination in the right section.
- 11:27 Révision 21: .
- 11:02 Révision 20: corrected some mistakes on terminology: active->principal formula
06/04/2016
- 23:59 Révision 19
- 17:00 Révision 18: Updated the proof of free-cut elimination.
- 14:56 Révision 17: Revised the conditions for the non-logical rules (R), on p.2.
05/04/2016
31/03/2016
30/03/2016
- 16:30 Révision 13: I added a few dfitinions and statement of main thm in sect 2
- 13:45 Révision 12
- 13:40 Révision 11
- 13:34 Révision 10: added sequent calculus for linear logic
29/03/2016
- 18:09 Révision 9
- 18:05 Révision 8
- 17:26 Révision 7
- 17:16 Révision 6
- 16:58 Révision 5
- 13:14 Révision 4
- 12:45 Révision 3
- 00:11 Révision 2: added files
Formats disponibles : Atom