Statistiques
| Révision :

root @ 187

Nom Taille Révision Âge Auteur Commentaire
  CSL16 126 environ 9 ans Anupam Das all done
  CSL17 187 plus de 8 ans Patrick Baillot .
  CharacterizingPH 186 plus de 8 ans Anupam Das
  SOUMISSION_DICE 1 plus de 9 ans Patrick Baillot est
aef.tex 4 octet 13 plus de 9 ans Patrick Baillot I added a few dfitinions and statement of main ...

Dernières révisions

# Date Auteur Commentaire
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

Voir toutes les révisions | Voir les révisions

Formats disponibles : Atom