Statistiques
| Révision :

root / CSL17 / completeness.tex @ 266

Historique | Voir | Annoter | Télécharger (3,35 ko)

# Date Auteur Commentaire
235 29/04/2017 14:08 Anupam Das
234 29/04/2017 13:55 Anupam Das
233 29/04/2017 13:45 Anupam Das

done with completeness
224 29/04/2017 10:44 Patrick Baillot

Added the completeness proof sketch
223 29/04/2017 02:02 Anupam Das

down to 12 pages
217 28/04/2017 23:10 Patrick Baillot

Added 2 predicates in 4.1
216 28/04/2017 18:32 Patrick Baillot

.
206 27/04/2017 19:18 Patrick Baillot

.
199 25/04/2017 18:15 Patrick Baillot

.
198 25/04/2017 18:05 Patrick Baillot

.
197 25/04/2017 15:11 Patrick Baillot

Completeness: recursion step.
196 25/04/2017 14:09 Patrick Baillot

.
195 25/04/2017 14:03 Patrick Baillot

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

added the sequent calculus rules and a free-cut elimination theorem
171 12/04/2017 12:21 Anupam Das
170 11/04/2017 23:00 Patrick Baillot

predicative minimisation
168 06/04/2017 22:34 Anupam Das
166 06/04/2017 01:35 Anupam Das