Statistiques
| Révision :

root / CSL17 / arithmetic.tex @ 254

Historique | Voir | Annoter | Télécharger (20,31 ko)

# Date Auteur Commentaire
241 29/04/2017 14:37 Patrick Baillot

basic functions
240 29/04/2017 14:36 Anupam Das
239 29/04/2017 14:28 Anupam Das
238 29/04/2017 14:26 Anupam Das
237 29/04/2017 14:24 Patrick Baillot

predicate 0BIT in sect 3.1
236 29/04/2017 14:18 Anupam Das
234 29/04/2017 13:55 Anupam Das
232 29/04/2017 13:43 Patrick Baillot

.
231 29/04/2017 13:40 Patrick Baillot

.
229 29/04/2017 13:08 Anupam Das

done first pass
228 29/04/2017 12:24 Anupam Das
227 29/04/2017 12:04 Anupam Das

done with arithmetic
225 29/04/2017 10:46 Anupam Das

done with soundness
222 29/04/2017 02:00 Anupam Das
221 29/04/2017 01:40 Anupam Das
220 29/04/2017 01:36 Anupam Das
219 28/04/2017 23:49 Anupam Das
218 28/04/2017 23:17 Patrick Baillot

.
217 28/04/2017 23:10 Patrick Baillot

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

.
215 28/04/2017 17:54 Patrick Baillot

graphs of basic functions
214 28/04/2017 15:32 Patrick Baillot

some graphs of basic functions
213 28/04/2017 14:57 Patrick Baillot

bit(l;x) function
206 27/04/2017 19:18 Patrick Baillot

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

.
194 25/04/2017 12:33 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
172 12/04/2017 17:22 Anupam Das

characteristic functions
171 12/04/2017 12:21 Anupam Das
168 06/04/2017 22:34 Anupam Das
166 06/04/2017 01:35 Anupam Das
157 28/03/2017 15:44 Anupam Das
156 28/03/2017 01:53 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template