Grigori E. Mints (mints)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Larrazabal, Jesús M., Lascar, Daniel and Mints, Grigori E., eds. 1998. Logic Colloquium ’96 – Proceedings of the Colloquium Held in San Sebastián, Spain, July 9–15, 1996. Cambridge: Cambridge University Press, doi:10.1017/9781316716816.
Mints, Grigori E. 1992a. A Short Introduction to Modal Logic. CSLI Lecture Notes n. 30. Stanford, California: CSLI Publications.
Mints, Grigori E. 1992b. Selected Papers in Proof Theory. Napoli: Bibliopolis.
Mints, Grigori E. 1993. “Resolution Calculus for the First Order Linear Logic.” Journal of Logic, Language, and Information 2(1): 59–83.
Mints, Grigori E. 1994. “Gentzen-Type Systems and Hilbert’s Epsilon Substitution Method.” in Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Swede, August 7-14, 1991, edited by Dag Prawitz, Brian Skyrms, and Dag Westerståhl, pp. 91–122. Studies in Logic and the Foundations of Mathematics n. 134. Amsterdam: Elsevier Science Publishers B.V.
Mints, Grigori E. 1997. “Indexed Systems of Sequents and Cut-Elimination.” The Journal of Philosophical Logic 26(6): 671–696.
Mints, Grigori E. 1999. “Cut-Elimination for Simple Type Theory with an Axiom of Choice.” The Journal of Symbolic Logic 64(2): 479–485.
Mints, Grigori E. 2002a. A Short Introduction to Intuitionistic Logic. The University Series in Mathematics. Dordrecht: Kluwer Academic Publishers.
Mints, Grigori E. 2002b. “The Epsilon Substitution Method and Continuity.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 117–129. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.