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

DOI

10.1017/bsl.2015.1

Links

PhilArchive



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

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

In memoriam: Grigori E. Mints 1939-2014.Solomon Feferman and Vladimir Lifschitz - 2015 - Bulletin of Symbolic Logic 21 (1):31-33,.
Transfer of sequent calculus strategies to resolution for S4.Grigori Mints, Vladimir Orevkov & Tanel Tammet - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 2--17.
Notes on Constructive Negation.Grigori Mints - 2006 - Synthese 148 (3):701-717.
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.
Cut Elimination for S4C: A Case Study.Grigori Mints - 2006 - Studia Logica 82 (1):121-132.
Axiomatizing the next-interior fragment of dynamic topological logic.Philip Kremer, Grigori Mints & V. Rybakov - 1997 - Bulletin of Symbolic Logic 3:376-377.
Failure of interpolation in constant domain intuitionistic logic.Grigori Mints, Grigory Olkhovikov & Alasdair Urquhart - 2013 - Journal of Symbolic Logic 78 (3):937-950.
Mints Grigori. A short introduction to modal logic. CSLI lecture notes, no. 30. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, Cambridge and New York, x + 91 pp. [REVIEW]Billy Joe Lucas - 1995 - Journal of Symbolic Logic 60 (2):687-689.
A proof of topological completeness for S4 in.Grigori Mints & Ting Zhang - 2005 - Annals of Pure and Applied Logic 133 (1-3):231-245.
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.
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.

Analytics

Added to PP
2016-06-30

Downloads
41 (#369,691)

6 months
34 (#97,512)

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

Cut elimination for a simple formulation of epsilon calculus.Grigori Mints - 2008 - Annals of Pure and Applied Logic 152 (1):148-160.
Epsilon substitution for first- and second-order predicate logic.Grigori Mints - 2013 - Annals of Pure and Applied Logic 164 (6):733-739.
Proof theory in the USSR 1925–1969.Grigori Mints - 1991 - Journal of Symbolic Logic 56 (2):385-424.
Linear lambda-terms and natural deduction.G. Mints - 1998 - Studia Logica 60 (1):209-231.
Non-Deterministic Epsilon Substitution for ID1: Effective Proof.Grigori Mints - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 325-342.

View all 6 references / Add more references