Statistiques
| Révision :

root @ 225

# Date Auteur Commentaire
225 29/04/2017 10:46 Anupam Das

done with soundness
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
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
212 28/04/2017 14:15 Patrick Baillot

basic function addition
211 28/04/2017 00:31 Patrick Baillot

added conclusion
210 27/04/2017 23:16 Patrick Baillot

.
209 27/04/2017 23:12 Patrick Baillot

.
208 27/04/2017 22:37 Patrick Baillot

.
207 27/04/2017 21:58 Anupam Das
206 27/04/2017 19:18 Patrick Baillot

.
205 27/04/2017 18:59 Anupam Das
204 27/04/2017 16:01 Patrick Baillot

.
203 27/04/2017 15:16 Patrick Baillot

intro revised (in progress)
202 27/04/2017 15:13 Anupam Das
201 27/04/2017 14:03 Anupam Das
200 26/04/2017 19:56 Anupam Das

added vl
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

.
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
170 11/04/2017 23:00 Patrick Baillot

predicative minimisation
169 10/04/2017 11:13 Anupam Das
168 06/04/2017 22:34 Anupam Das
167 06/04/2017 15:47 Patrick Baillot

.
166 06/04/2017 01:35 Anupam Das
165 03/04/2017 10:07 Anupam Das
164 30/03/2017 12:13 Patrick Baillot

corrected polynomial checking lemma
163 30/03/2017 12:08 Patrick Baillot

+ 1 reference
162 29/03/2017 22:41 Patrick Baillot

.
161 29/03/2017 22:32 Patrick Baillot

preliminaries: definitions PH
160 29/03/2017 16:16 Patrick Baillot

added in preliminaries the polychecking lemma
159 29/03/2017 12:42 Patrick Baillot

added definitions mubc
158 28/03/2017 21:49 Anupam Das
157 28/03/2017 15:44 Anupam Das
156 28/03/2017 01:53 Anupam Das
155 27/03/2017 18:11 Anupam Das
154 27/03/2017 17:47 Anupam Das

added basic template
153 27/03/2017 17:44 Anupam Das
152 27/03/2017 17:21 Anupam Das

added csl17 dir
151 27/03/2017 16:45 Anupam Das
150 27/03/2017 16:42 Anupam Das

rough draft done with goals at end - now move onto paper
149 23/03/2017 18:29 Anupam Das
148 23/03/2017 15:05 Anupam Das
147 23/03/2017 14:55 Anupam Das
146 23/03/2017 11:18 Anupam Das
145 23/03/2017 11:17 Anupam Das
144 09/03/2017 14:16 Anupam Das
143 08/03/2017 22:43 Anupam Das

added soundness file
142 06/03/2017 00:53 Anupam Das

done
141 05/03/2017 22:29 Patrick Baillot

.
140 05/03/2017 22:17 Patrick Baillot

revised the second table of sect 2
139 05/03/2017 17:38 Anupam Das

done for now - section 2 still needs a little work
138 05/03/2017 17:27 Anupam Das
137 05/03/2017 17:11 Anupam Das

done with narrative - only references and tables need to be cleaned up
136 03/03/2017 22:52 Patrick Baillot

added some items in biblio
135 20/02/2017 14:09 Anupam Das
134 18/02/2017 18:24 Anupam Das
133 18/02/2017 18:23 Anupam Das

draft finished
132 18/02/2017 17:42 Anupam Das

done with sects 1 and 2 for now
131 17/02/2017 12:38 Anupam Das
130 17/02/2017 12:33 Anupam Das

reformatted and added intro
129 17/02/2017 12:29 Anupam Das

reformatted and added intro
128 17/02/2017 11:13 Patrick Baillot

added 2 items
127 16/02/2017 17:18 Patrick Baillot

.
126 04/07/2016 23:22 Anupam Das

all done