201:
series of workshops on logic and language, after having been a member of the community in several capacities such as invited speaker, PC member, PC chair, Organising
Committee chair, guest editor of proceedings and special issue, and steering committee member.
167:. Since 1991, Grigori "Grisha" Mints was a professor of philosophy and, by courtesy, of mathematics and of computer science at Stanford University. Before joining Stanford, Mints held research positions at the
290:
Mints, G. & Martin-LΓΆf, P. (eds.) (1990) "COLOG-88: International
Conference on Computer Logic", Tallinn, USSR, December 12β16, 1988, Proceedings - Lecture Notes in Computer Science (Vol. 417), 1990.
421:
229:
Mints, G. (2006) Notes on constructive negation. in R. Kahle and P. Schroeder-Heister (eds.), "Proof-Theoretic
Semantics", special issue of "Synthese", 2006, 148, issue 3, pp. 701β717.
253:
Mints, G. & Muskens, R. (eds.) (2003) "Games, Logic, and
Constructive Sets". Published by Center for the Study of Language and Information - Lecture Notes (Book 161), 2003.
250:
Tatsuta, M. & Mints, G. (2005) A simple proof of second-order strong normalization with permutative conversions. "Ann. Pure Appl. Logic" 136(1-2): 134-155
391:
48:
182:
Considered one of the most distinguished logicians in the world, Mints was passionate about the applications of logic to philosophy. His expertise was in
406:
401:
266:
Mints, G. (1992) "A Short
Introduction to Modal Logic". Published by Center for the Study of Language and Information - Lecture Notes (Book 30), 1992.
214:
Mints, G., Olkhovikov, G.V., Urquhart, A. (2013) Failure of interpolation in constant domain intuitionistic logic. "J. Symb. Log." 78(3): 937-950.
156:
with a thesis entitled "On
Predicate and Operator Variants for Building Theories of Constructive Mathematics". In 1990 he received his D.Sc. from
263:
Mints, G. (2001) "A Short
Introduction to Intuitionistic Logic" (University Series in Mathematics). Published by Kluwer Academic Publisher, 2001.
217:
Mints, G. (2013) ADC Method of Proof Search for
Intuitionistic Propositional Natural Deduction. To appear in a "Festsschrift for A. Avron".
191:
426:
416:
296:
284:
271:
258:
241:
Mints, G. & Zhang, T. (2005) Propositional logic of continuous transformations in Cantor space. "Arch. Math. Log." 44(6): 783-799.
357:
247:
Mints, G. & Zhang, T. (2005) A proof of topological completeness for S4 in (0, 1). "Ann. Pure Appl. Logic" 133(1-3): 231-245.
411:
168:
211:
Mints, G. (2013) Epsilon substitution for first- and second-order predicate logic. "Ann. Pure Appl. Logic" 164(6): 733-739.
319:
153:
84:
232:
Mints, G. (2006) Cut
Elimination for a Simple Formulation of PAepsilon. "Electr. Notes Theor. Comput. Sci." 143: 159-169.
226:
Mints, G. (2008) Cut elimination for a simple formulation of epsilon calculus. "Ann. Pure Appl. Logic" 152(1-3): 148-160.
223:
Mints, G. (2010) Cut-free formulations for a quantified logic of here and there. "Ann. Pure Appl. Logic" 162(3): 237-242.
187:
176:
396:
157:
149:
105:
235:
Mints, G. (2006) S4 is
Topologically Complete for (0, 1): a Short Proof. "Logic Journal of the IGPL" 14(1): 63-71.
220:
Mints, G. (2012) Effective Cut-elimination for a Fragment of Modal mu-calculus. "Studia Logica" 100(1-2): 279-287.
113:
332:
244:
Kremer, Ph. & Mints, G. (2005) Dynamic topological logic. "Ann. Pure Appl. Logic" 131(1-3): 133-158.
386:
381:
172:
361:
161:
89:
137:
101:
292:
280:
267:
254:
333:"Stanford philosophy Professor Grigori Mints, a world-renowned logician, has died at 74"
238:
Mints, G. (2006) Cut Elimination for S4C: A Case Study. "Studia Logica" 82(1): 121-132.
145:
375:
366:
133:
186:β the analysis of the structure of mathematical reasoning. Mints was elected to the
183:
160:
with a thesis entitled "Proof Transformations and Synthesis of Programs". He was a
109:
129:
71:
315:
164:
141:
67:
44:
198:
197:
Mints was a very active member of the steering committee of the
422:
Stanford University Department of Philosophy faculty
148:, Russia), and received his Ph.D. in 1965 from the
95:
83:
56:
30:
23:
8:
128:(June 7, 1939 β May 29, 2014) was a Russian
20:
308:
192:American Academy of Arts and Sciences
7:
392:21st-century Russian mathematicians
14:
407:21st-century Russian philosophers
402:20th-century Russian philosophers
331:Wakefield, Tanu (June 12, 2014).
287:, Studies in Proof Theory series)
16:Russian mathematician (1939β2014)
277:Selected Papers in Proof Theory
358:Grigori Mints official website
279:(North-Holland), August 1992,
169:Steklov Mathematical Institute
1:
320:Mathematics Genealogy Project
154:Nikolai Aleksandrovich Shanin
188:Estonian Academy of Sciences
177:Estonian Academy of Sciences
427:Philosophers of mathematics
144:, in the Soviet Union (now
443:
158:Leningrad State University
150:Leningrad State University
106:Foundations of mathematics
417:Historians of mathematics
367:Tributes to Grigori Mints
119:
79:
114:Constructive mathematics
412:Mathematical logicians
206:Selected publications
173:Leningrad University
362:Stanford University
335:. News.stanford.edu
190:in 2008 and to the
162:Stanford University
90:Analytic philosophy
138:mathematical logic
102:Mathematical Logic
397:Russian logicians
140:. He was born in
123:
122:
434:
345:
344:
342:
340:
328:
322:
313:
63:
40:
38:
21:
442:
441:
437:
436:
435:
433:
432:
431:
372:
371:
354:
349:
348:
338:
336:
330:
329:
325:
314:
310:
305:
208:
112:
108:
104:
98:
75:
65:
61:
52:
42:
36:
34:
26:
17:
12:
11:
5:
440:
438:
430:
429:
424:
419:
414:
409:
404:
399:
394:
389:
384:
374:
373:
370:
369:
364:
353:
352:External links
350:
347:
346:
323:
307:
306:
304:
301:
300:
299:
297:978-3540523352
288:
285:978-0444896193
274:
272:978-0937073759
264:
261:
259:978-1575864501
251:
248:
245:
242:
239:
236:
233:
230:
227:
224:
221:
218:
215:
212:
207:
204:
146:St. Petersburg
136:who worked in
121:
120:
117:
116:
99:
97:Main interests
96:
93:
92:
87:
81:
80:
77:
76:
66:
64:(aged 74)
58:
54:
53:
51:, Soviet Union
43:
32:
28:
27:
24:
15:
13:
10:
9:
6:
4:
3:
2:
439:
428:
425:
423:
420:
418:
415:
413:
410:
408:
405:
403:
400:
398:
395:
393:
390:
388:
385:
383:
380:
379:
377:
368:
365:
363:
359:
356:
355:
351:
334:
327:
324:
321:
317:
316:Grigori Mints
312:
309:
302:
298:
294:
289:
286:
282:
278:
275:
273:
269:
265:
262:
260:
256:
252:
249:
246:
243:
240:
237:
234:
231:
228:
225:
222:
219:
216:
213:
210:
209:
205:
203:
200:
195:
193:
189:
185:
180:
178:
174:
170:
166:
163:
159:
155:
151:
147:
143:
139:
135:
134:mathematician
131:
127:
126:Grigori Mints
118:
115:
111:
107:
103:
100:
94:
91:
88:
86:
82:
78:
73:
69:
59:
55:
50:
46:
33:
29:
25:Grigori Mints
22:
19:
337:. Retrieved
326:
311:
276:
196:
184:proof theory
181:
125:
124:
110:Proof theory
62:(2014-05-29)
49:Russian SFSR
18:
387:2014 deaths
382:1939 births
130:philosopher
60:29 May 2014
41:7 June 1939
376:Categories
303:References
175:, and the
72:California
37:1939-06-07
339:August 9,
194:in 2010.
165:professor
142:Leningrad
68:Palo Alto
45:Leningrad
318:at the
295:
283:
270:
257:
199:WoLLIC
152:under
85:School
341:2014
293:ISBN
281:ISBN
268:ISBN
255:ISBN
132:and
74:, US
57:Died
31:Born
360:at
378::
179:.
171:,
70:,
47:,
343:.
39:)
35:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.