The Philosopher
Grigori Mints
The face
The background
- Nationality:
- Russian
- Schools:
- Analytic philosophy
The synopsis
Grigori Mints (June 7, 1939 – May 29, 2014) was a Russian philosopher and mathematician who worked in mathematical logic. He was born in Leningrad, Soviet Union, and received his Ph.D. in 1965 and D.Sc. in 1990 from Leningrad State University. Mints held positions at Steklov Mathematical Institute, Leningrad University, Estonian Academy of Sciences, and notably as a professor at Stanford University starting in 1991. He was considered a distinguished logician, passionate about logic's applications to philosophy, with expertise in proof theory. Mints was elected to the Estonian Academy of Sciences in 2008 and the American Academy of Arts and Sciences in 2010. He was an active member of the WoLLIC workshops' steering committee.
The works
Epsilon substitution for first- and second-order predicate logic
Failure of interpolation in constant domain intuitionistic logic
ADC Method of Proof Search for Intuitionistic Propositional Natural Deduction
Effective Cut-elimination for a Fragment of Modal mu-calculus
Cut-free formulations for a quantified logic of here and there
Cut elimination for a simple formulation of epsilon calculus
Notes on constructive negation
Cut Elimination for a Simple Formulation of PAepsilon
S4 is Topologically Complete for (0, 1): a Short Proof
Cut Elimination for S4C: A Case Study
Propositional logic of continuous transformations in Cantor space
Dynamic topological logic
A proof of topological completeness for S4 in (0, 1)
A simple proof of second-order strong normalization with permutative conversions
Games, Logic, and Constructive Sets
A Short Introduction to Intuitionistic Logic
A Short Introduction to Modal Logic
Selected Papers in Proof Theory
COLOG-88: International Conference on Computer Logic