On May 29, 2014, ten days before his 75th birthday, Grigori ("Grisha") Mints died at Stanford, California of cardiac arrest; he had suffered a serious stroke a month before from which he never recovered. At the time of his death Mints held the position of Professor of Philosophy at Stanford University with courtesy appointments in Mathematics and Computer Science. His main contributions were to proof theory, constructive mathematics, intuitionistic logic, modal logic, and automated deduction.

PDF

Bulletin of Symbolic Logic, Vol. 21 (2015).

@article{bsl2015, title={In Memoriam: Grigori E. Mints}, author={Solomon Feferman and Vladimir Lifschitz}, volume={21}, journal={Bulletin of Symbolic Logic}, url="http://www.cs.utexas.edu/users/ai-lab?mints15", year={2015} }