In memoriam: Grigori E. Mints 1939-2014

Bulletin of Symbolic Logic 21 (1):31-33, (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In Heinrich Wansing (ed.), Proof theory of modal logic. Boston: Kluwer Academic Publishers. pp. 2--17.
Review: Marianne Winslett, Updating Logical Databases. [REVIEW]Grigori Mints - 1994 - Journal of Symbolic Logic 59 (3):1110-1114.
Preface.Sergei Artemov, Yuri Matiyasevich, Grigori Mints & Anatol Slissenko - 2010 - Annals of Pure and Applied Logic 162 (3):173-174.
A Short Introduction to Intuitionistic Logic.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
Review: Grigori Mints, A Short Introduction to Modal Logic. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
Thoralf Skolem and the epsilon substitution method for predicate logic.Grigori Mints - 1996 - Nordic Journal of Philosophical Logic 1 (2):133-146.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
Games, Logic, and Constructive Sets.Grigori Mints & Reinhard Muskens (eds.) - 2003 - Center for the Study of Language and Inf.
Propositional logic of continuous transformations in Cantor space.Grigori Mints & Ting Zhang - 2005 - Archive for Mathematical Logic 44 (6):783-799.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
2000-2001 Spring Meeting of the Association for Symbolic Logic.Michael Detlefsen, Erich Reck, Colin McLarty, Rohit Parikh, Larry Moss, Scott Weinstein, Gabriel Uzquiano, Grigori Mints & Richard Zach - 2001 - Bulletin of Symbolic Logic 7 (3):413-419.
In Memoriam: Albert G. Dragalin 1941–1998.S. Artemov, B. Kushner, G. Mints, E. Nogina & A. Troelstra - 1999 - Bulletin of Symbolic Logic 5 (3):389-391.
S4 Is Topologically Complete For : A Short Proof.Grigori Mints - 2006 - Logic Journal of the IGPL 14 (1):63-71.
Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
A Short Introduction to Modal Logic.Grigori Mints - 1992 - Stanford, CA, USA: Center for the Study of Language and Information.

Analytics

Added to PP
2015-05-12

Downloads
14 (#990,629)

6 months
5 (#639,324)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references