Révision :

Révisions

# Date Auteur Commentaire
195 25/04/2017 14:03 Patrick Baillot

.
194 25/04/2017 12:33 Anupam Das
193 24/04/2017 11:41 Anupam Das
192 22/04/2017 23:51 Patrick Baillot

.
191 22/04/2017 23:40 Patrick Baillot

.
190 22/04/2017 07:47 Patrick Baillot

.
189 22/04/2017 02:10 Patrick Baillot

.
188 22/04/2017 00:48 Patrick Baillot

.
187 20/04/2017 14:54 Patrick Baillot

.
186 19/04/2017 14:53 Anupam Das
185 18/04/2017 19:45 Anupam Das
184 18/04/2017 01:46 Anupam Das
183 18/04/2017 00:38 Patrick Baillot

completed the list of Basic axioms, following Buss, in the appendix
182 17/04/2017 22:52 Patrick Baillot

Revised the definitions at the beginning of sect 4, and added after Def 14 a comment about B^i and integer positive formulas.
181 16/04/2017 16:32 Patrick Baillot

Modified lemma 19 on well-typed proofs, and gave a proof sketch.
180 16/04/2017 00:32 Patrick Baillot

Modified sequent calculus rules (weakening in axioms)
179 14/04/2017 01:19 Patrick Baillot

.
178 13/04/2017 14:18 Patrick Baillot

B^i sequent calculus
177 13/04/2017 12:11 Patrick Baillot

added polynomial induction definition
176 13/04/2017 01:45 Anupam Das
175 13/04/2017 00:14 Patrick Baillot

.
174 13/04/2017 00:12 Patrick Baillot

added the sequent calculus rules and a free-cut elimination theorem
173 12/04/2017 17:33 Anupam Das

witness functions
172 12/04/2017 17:22 Anupam Das

characteristic functions
171 12/04/2017 12:21 Anupam Das

« Précédent 1 2 3 4 5 6 ... 11 Suivant » (76-100/270) | Par page : 25, 50, 100

Formats disponibles : Atom