http://oac.cdlib.org/findaid/ark:/13030/c8h1356d No online items Guide to the Grigori Mints Papers SC1225 Daniel Hartwig & Jenny Johnson Department of Special Collections and University Archives December 2014 Green Library 557 Escondido Mall Stanford 94305-6064 [email protected] URL: http://library.stanford.edu/spc Guide to the Grigori Mints Papers SC1225 1 SC1225 Language of Material: Undetermined Contributing Institution: Department of Special Collections and University Archives Title: Grigori Mints papers creator: Mints, Grigori Identifier/Call Number: SC1225 Physical Description: 57.25 Linear Feet(44 boxes) Date (inclusive): 1954-2014 Information about Access The materials are open for research use. Audio-visual materials are not available in original format, and must be reformatted to a digital use copy. Ownership & Copyright All requests to reproduce, publish, quote from, or otherwise use collection materials must be submitted in writing to the Head of Special Collections and University Archives, Stanford University Libraries, Stanford, California 94305-6064. Consent is given on behalf of Special Collections as the owner of the physical items and is not intended to include or imply permission from the copyright owner. Such permission must be obtained from the copyright owner, heir(s) or assigns. See: http://library.stanford.edu/spc/using-collections/permission-publish. Restrictions also apply to digital representations of the original materials. Use of digital files is restricted to research and educational purposes. Cite As [identification of item], Grigori Mints Papers (SC1225). Dept. of Special Collections and University Archives, Stanford University Libraries, Stanford, Calif. Immediate Source of Acquisition Gift of Marianna Rozenfeld, 2014 & Evelyn McMillan, 2015. Subjects and Indexing Terms Philosophy. Philosophy -- Study and teaching. Research -- Philosophy. Logic, Symbolic and Mathematical. Mathematics -- Philosophy. Logicians -- United States -- Biography. Mints, Grigori Email (print-outs) 1990-2014 box 1 1990-1994 box 2 1995-1998 box 3 1998-2000 box 4 2000-2012 box 5 1994-2001 box 5 Foundations of Mathematics (FOM) digest 2002-2011 box 42 Friedman, Harvey; Foundations of Mathematics (FOM) digest 2003-2010 Conferences Russian box 26 Conference proceedings 1976-2001 box 28, folder 1 2012 English Guide to the Grigori Mints Papers SC1225 2 SC1225 Conferences English box 27, folder 1 Conference Materials from St. Petersberg 2014 box 27, folder 2 Philosophy, Mathematics, Linguistics: Aspects of Interaction 2009 box 27, folder 3 Miscellaneous Documents undated box 27, folder 4 Association for Symbolic Logic 1997-2011 box 27, folder 5 Joint Mathematics Meetings 2012 Jan. 4-7 box 27, folder 6 Collegium Logicum - Cut-Elimination 2005 Jul. 4-6 box 27, folder 7 Mathematics - XXI Century - PDMI 70th Anniversary 2010 Sep. 13-18 box 27, folder 8 MFCS & CSL 2010 box 27, folder 9 Lecture Notes in Logic 1974, 1990, 1996 box 27, folder 10 The Rolf Schock Prizes 1997 box 27, folder 11 Universality of Science 1995-1996 box 27, folder 12 Methods of Logic in Mathematics III 2006 Jun. 1-7 box 27, folder 13 European Foundation for Logic, Language and Information 1992 Aug. box 27, folder 14 BRICS Proof Theory and Complexity 1998 Aug. 3-7 box 27, folder 15 First International Wormshop 2012 Apr. 16-19 box 27, folder 16 Mathematische Logik 1998 Jan. 18-24 box 27, folder 17 Proof Theory: Workshop on Logic, Foundational Research, and Mathematics 2003 Oct. 9-11 box 27, folder 18 Model Computation - Principles, Algorithms, Applications 6/16/2000 box 27, folder 19 1st North American Summer School in Logic, Language, and Information 2002 Jun. 24-30 box 27, folder 20 WoLLIC 2005 Proceedings 2005 Jul. 19-22 box 27, folder 21 ILCLI 1993-2003 box 27, folder 22 Takeuti Symposium 2003 Dec. 17-19 box 27, folder 23 Natural Deduction 2001 box 27, folder 24 WoLLIC 2006 box 27, folder 25 Conferences 2006 box 27, folder 26 Logic in the Netherlands 1998 Feb. box 27, folder 27 Banff International Research Station 2007 Feb. 18-23 box 27, folder 28 Shell Oil Symposium Series 11/5/1995 box 27, folder 29 9th International Conogress of Logic, Methodology, and Philosophy of Science 1991 Aug. 7-14 box 27, folder 30 10th International Conogress of Logic, Methodology, and Philosophy of Science 1995 Aug. 19-25 box 27, folder 31 Nato ASI Report 1993 Aug. 13-24 box 27, folder 32 Godel's Excursions Into Intuitionistic Logic 1983 Jul. 10-12 box 27, folder 33 Summer School and Conference on Mathematical Logic 1988 Sep. 13-23 box 27, folder 34 Logic Colloquium 2004 Jul. 25-31 box 27, folder 35 Logic Colloquium 1990 Jul. 15-22 box 27, folder 36 Computer Science Logic 1992 Jul. 13-17 box 27, folder 37 Proof Theory and Algorithms Workshops 2003 Mar. 23-28 box 27, folder 38 DAYS Shanin 1999 box 27, folder 39 Markov 2003 box 27, folder 40 CSR 2006 box 27, folder 41 Mathematische Logik 1995 Apr. 2-8 box 27, folder 42 HPLMC-02 2002 Nov. 7-9 box 27, folder 43 Nasslli 2003 Jun. 17-21 box 27, folder 44 Classical Logic and Computation 2010 box 27, folder 45 Symbolic Logic and Computer Science 1995 Sep. 17-20 box 28 Logic colloquium, Berlin 1989 box 28 Colloquium on Modal Logic 1991 box 24, folder 9 1992 box 24, folder 10 1992-1994 box 24, folder 2 1994 box 24, folder 7 1994-1995 box 24, folder 6 1994-1999 box 28 Logic colloquium 1995 Aug 9-17 box 24, folder 3 1995 Guide to the Grigori Mints Papers SC1225 3 SC1225 Conferences English box 24, folder 4 1996 box 28 International Conference TABLEAUX'97-Analytic Tableaux and Related Methods 1997-03 box 24, folder 8 1997 box 24, folder 5 1997-1998 box 28 Logic in Action: An NWO Spinoza Award Project 1997-1998 box 24, folder 1 1998 box 28 17th International Conference on Automated Deduction, Carnegie Mellon University 2000 Jun 17-20 box 28 Constructivism in Non-Classical Logics and Computer Science 2000 Sep 30-Oct 2 box 28 LCCS'2001: Proceedings of the International Workshop on Logic and Complexity in Computer Science, Universite Paris, France 2001 Sep 3-5 box 28 Logic-Based Program Synthesis: State of the Art and Future Trends, 2002 AAAI Spring Symposium 2002 box 28 Conference in Honor of the 60th Birthday of Friedman, Harvey M. 2009 May 14-17 box 28 Leeds Symposium on Proof Theory and Constructivism 2009 Jul 3-16 box 28 Algebra and Coalgebra meet Proof Theory 2013 Department files box 30, folder 1 CAST 1995 box 30, folder 2 Funding 1994-2008 box 30, folder 3 Feferman, Solomon symposium 2004 box 30, folder 4 DTL 2004 box 30, folder 5 Drafts 1992-2009 box 30, folder 6 Dept 2008 box 30, folder 7 Dept 2005-2006 box 30, folder 8 2005 box 30, folder 9 Computer Science Department 2006 Publications box 22-23 Index cards (English and Russian) Scope and Contents note Arranged alphabetically publications index. box 25, folder 1 GM published articles in Russian undated box 25, folder 2 A Normal Form Theorem For Second-Order Classical Logic with an Axiom of Choice (2 copies) 1989 box 25, folder 3 A normal form for logical derivations implying one for arithmetic derivations (2 copies) 1993 box 25, folder 4 A New Reduction Sequence for Arithmetic undated box 25, folder 5 A New Reduction Sequence for Arithmetic 1982 box 25, folder 6 Development and present state of epsilon substitution method undated box 25, folder 7 Beklemisher's construction of Eo Stanford talk undated box 25, folder 8 Abstract for Banff 2007 box 25, folder 9 Model elimination and cut elimination undated box 25, folder 10 Abstract for Contibuted Talk 2004 box 25, folder 11 BSL 3, N3 Winter Meeting of the Association for Symbolic Logic 1997 box 25, folder 12 Bull. ASL V1.N3 Winter Meeting of the Association for Symbolic Logic 1995 box 25, folder 13 A Completeness Proof for Propositional S4 in Cantor Space (2 copies) 2001 box 25, folder 14 ADC Method of Proof Search for Intuitonistic Prepositional Natural Deduction 2012 box 25, folder 15 Admissible and Derived Rules undated box 25, folder 16 An Approach to an e-Substitution Method dor ID1 2001 box 25, folder 17 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 18 A proof of topological completeness for S4 in (0,1) (2 copies) 2004 box 25, folder 19 A simple proof of second-order strong normalization with permutative conversions (2 copies) 2005 box 25, folder 20 A simple proof of the coherence theorem fro Cartesian closed categories undated box 25, folder 21 A termination proof for epsilon substitution using partial derivations (3 copies) 2003 Guide to the Grigori Mints Papers SC1225 4 SC1225 Publications box 25, folder 22 Applications of Proof-theoretic Transformation (Abstract) 1998 box 25, folder 23 Axiomatization of a Skolem Function in Intuitionistic Logic (3 copies) 2000 box 25, folder 24 Classical and Intuitionistic Geometric Logic (3 copies) 2012 box 25, folder 25 Logical Investigations (2 copies) 2000 box 25, folder 26 Closed Categories and the Theory of Proofs undated box 25, folder 27 Closed Categories and the Theory of Proofs (office copy) 1992 box 25, folder 28 Completeness of Indexed e-Calculus (2 copies) 2003 box 25, folder 29 Complexity of Subclasses of the Intuitionistic Propositional Calculus (2 copies) 1990 box 25, folder 30 Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof 1991 box 25, folder 31 Corrigenda and Addenda to the Article "On Predicate and Operator Variants of the Formation of the Theories of Constructive Mathematics" 1967 box 25, folder 32 Cut-elimination and Normal Forms of Sequent Derivations 1994 box 25, folder 33 Cut elimination for a simple formulation of epsilon calculus (2 copies) 2007 box 25, folder 34 Cut Elimination for S4C: A Case Study 2006 box 25, folder 35 Abstracts of the AMS 1985 box 25, folder 36 Cut-Elimination for Simple Type Theory with an Axiom of Choice (3 copies) 1999 box 25, folder 37 Cute-Free Calculi of the S5 Type (3 copies) undated box 25, folder 38 Cut-Free Formulations for a quantified logic of here and there 2010 box 25, folder 39 Decidability of the Class 3 by Maslov's Inverse Method 1971 box 25, folder 40 Decidability of the Class 3 by Maslov's Inverse Method 2010 box 25, folder 41 Disjunctive interpretation of the LJ-Calculus e.u.