Grigori Mints (7 มิถุนายน 1939 – 29 พฤษภาคม 2014) เป็นนักปรัชญาและนักคณิตศาสตร์ ชาวรัสเซีย ที่ทำงานด้านตรรกศาสตร์ทางคณิตศาสตร์เขาเกิดที่เลนินกราดในสหภาพโซเวียต (ปัจจุบันคือเซนต์ปีเตอร์สเบิร์กประเทศรัสเซีย) และได้รับปริญญาเอกในปี 1965 จากมหาวิทยาลัยแห่งรัฐเลนินกราดภายใต้ การดูแลของ Nikolai Aleksandrovich Shaninด้วยวิทยานิพนธ์เรื่อง On Predicate and Operator Variants for Building Theories of Constructive Mathematicsในปี 1990 เขาได้รับปริญญาดุษฎีบัณฑิตจากมหาวิทยาลัยแห่งรัฐเลนินกราดด้วยวิทยานิพนธ์เรื่อง Proof Transformations and Synthesis of Programs [ ^{1 ] เขา}เป็นศาสตราจารย์ที่มหาวิทยาลัยสแตนฟอร์ด [ ^{2 ] ตั้งแต่}ปี 1991 Grigori "Grisha" Mints เป็นศาสตราจารย์ด้านปรัชญา และโดยความอนุเคราะห์ด้านคณิตศาสตร์และวิทยาศาสตร์คอมพิวเตอร์ที่มหาวิทยาลัยสแตนฟอร์ด ก่อนร่วมงานกับมหาวิทยาลัยสแตนฟอร์ด มินต์สเคยดำรงตำแหน่งนักวิจัยที่สถาบันคณิตศาสตร์สเตคลอฟมหาวิทยาลัยเลนินกราดและสถาบันวิทยาศาสตร์แห่งเอสโตเนีย

ศาสตราจารย์มินต์สได้รับการยกย่องว่าเป็นหนึ่งในนักตรรกศาสตร์ที่โดดเด่นที่สุดในโลก เขามีความสนใจอย่างยิ่งในการประยุกต์ใช้ตรรกศาสตร์กับปรัชญา ความเชี่ยวชาญของเขาอยู่ที่ทฤษฎีการพิสูจน์ซึ่งเป็นการวิเคราะห์โครงสร้างของการให้เหตุผลทางคณิตศาสตร์ ศาสตราจารย์มินต์สได้รับเลือกเป็นสมาชิกของสถาบันวิทยาศาสตร์แห่งเอสโตเนียในปี 2008 และสถาบันศิลปะและวิทยาศาสตร์แห่งอเมริกาในปี 2010

มินต์เป็นสมาชิกที่กระตือรือร้นมากในคณะกรรมการอำนวยการของ ชุดการประชุมเชิงปฏิบัติการ WoLLICเกี่ยวกับตรรกศาสตร์และภาษาศาสตร์ หลังจากที่เคยเป็นสมาชิกของชุมชนในหลายบทบาท เช่น วิทยากรรับเชิญ สมาชิกคณะกรรมการโปรแกรม ประธานคณะกรรมการโปรแกรม ประธานคณะกรรมการจัดงาน บรรณาธิการรับเชิญของรายงานการประชุมและฉบับพิเศษ และสมาชิกคณะกรรมการอำนวยการ

• Mints, G. (2013) การแทนที่เอปซิลอนสำหรับตรรกะภาคแสดงลำดับที่หนึ่งและลำดับที่สอง "Ann. Pure Appl. Logic" 164(6): 733-739
• Mints, G., Olkhovikov, GV, Urquhart, A. (2013) ความล้มเหลวของการแทรกสอดในตรรกะเชิงสัญชาตญาณโดเมนคงที่ "J. Symb. Log." 78(3): 937-950
• Mints, G. (2013) วิธีการค้นหาหลักฐาน ADC สำหรับการอนุมานเชิงธรรมชาติแบบสัญชาตญาณนิยม จะตีพิมพ์ใน "Festsschrift for A. Avron"
• Mints, G. (2012) การกำจัดการตัดที่มีประสิทธิภาพสำหรับเศษส่วนของโมดอลมิวแคลคูลัส "Studia Logica" 100(1-2): 279-287
• Mints, G. (2010) สูตรปราศจากการตัดสำหรับตรรกะเชิงปริมาณของที่นี่และที่นั่น "Ann. Pure Appl. Logic" 162(3): 237-242
• Mints, G. (2008) การกำจัดการตัดสำหรับการกำหนดสูตรแคลคูลัสเอปซิลอนอย่างง่าย "Ann. Pure Appl. Logic" 152(1-3): 148-160
• Mints, G. (2006) หมายเหตุเกี่ยวกับการปฏิเสธเชิงสร้างสรรค์ ใน R. Kahle และ P. Schroeder-Heister (บรรณาธิการ), "Proof-Theoretic Semantics", ฉบับพิเศษของ "Synthese", 2006, 148, ฉบับที่ 3, หน้า 701–717
• Mints, G. (2006) การกำจัดการตัดสำหรับการกำหนดสูตร PAepsilon อย่างง่าย "Electr. Notes Theor. Comput. Sci." 143: 159-169
• Mints, G. (2006) S4 สมบูรณ์ทางโทโพโลยีสำหรับ (0, 1): บทพิสูจน์สั้นๆ "วารสารตรรกศาสตร์ของ IGPL" 14(1): 63-71
• Mints, G. (2006) การกำจัดการตัดสำหรับ S4C: กรณีศึกษา "Studia Logica" 82(1): 121-132
• Mints, G. & Zhang, T. (2005) ตรรกศาสตร์เชิงประพจน์ของการแปลงต่อเนื่องในปริภูมิแคนเตอร์ "Arch. Math. Log." 44(6): 783-799
• Kremer, Ph. & Mints, G. (2005) ตรรกะเชิงทอพอโลยีแบบไดนามิก "Ann. Pure Appl. Logic" 131(1-3): 133-158
• Mints, G. & Zhang, T. (2005) การพิสูจน์ความสมบูรณ์เชิงทอพอโลยีสำหรับ S4 ใน (0, 1) "Ann. Pure Appl. Logic" 133(1-3): 231-245
• Tatsuta, M. & Mints, G. (2005) การพิสูจน์อย่างง่ายของการทำให้เป็นมาตรฐานที่แข็งแกร่งลำดับที่สองด้วยการแปลงแบบสลับตำแหน่ง "Ann. Pure Appl. Logic" 136(1-2): 134-155
• Mints, G. & Muskens, R. (บรรณาธิการ) (2003) "เกม ตรรกะ และเซตเชิงสร้างสรรค์" จัดพิมพ์โดย Center for the Study of Language and Information - Lecture Notes (เล่มที่ 161), 2003. ISBN 978-1575864501
• Mints, G. (2001) "บทนำย่อเกี่ยวกับตรรกศาสตร์เชิงสัญชาตญาณ" (ชุดหนังสือคณิตศาสตร์ระดับมหาวิทยาลัย) จัดพิมพ์โดย Kluwer Academic Publisher, 2001
• มินต์ส, จี. (1992) "บทนำสั้นๆ เกี่ยวกับตรรกศาสตร์เชิงโมดอล" จัดพิมพ์โดยศูนย์ศึกษาภาษาและสารสนเทศ - เอกสารประกอบการบรรยาย (เล่มที่ 30), 1992. ISBN 978-0937073759
• บทความคัดสรรในทฤษฎีการพิสูจน์ (North-Holland), สิงหาคม 1992, ISBN 978-0444896193(ชุดการศึกษาทฤษฎีการพิสูจน์)
• Mints, G. & Martin-Löf, P. (บรรณาธิการ) (1990) "COLOG-88: การประชุมนานาชาติว่าด้วยตรรกศาสตร์คอมพิวเตอร์", ทาลลินน์, สหภาพโซเวียต, 12–16 ธันวาคม 1988, เอกสารประกอบการประชุม - บันทึกการบรรยายในวิทยาศาสตร์คอมพิวเตอร์ (เล่มที่ 417), 1990. ISBN 978-3540523352

• เว็บไซต์อย่างเป็นทางการของ Grigori Mintsที่มหาวิทยาลัยสแตนฟอร์ด
• คำยกย่องแด่ Grigori Mints