编辑配置文件(在新选项卡中打开) 格里戈里·埃弗罗伊莫维奇造币厂(b.1939年d.2014年) 合著者距离 作者ID: 格里戈里·弗罗伊莫维奇造币厂 发布日期: 薄荷,G.E。;格里戈里薄荷;Minc,G.E.(通用电气公司)。;薄荷,G。;薄荷,格里戈里·埃弗罗伊莫维奇;薄荷,格里戈里E。;薄荷,格里戈里;格里戈里吉造币厂;格里高利·薄荷;薄荷,格里高利 更多。。。较少的 主页: http://news.stanford.edu/news/2014/june/grigori-mints-obit-061214.html 外部链接: MGP公司·维基数据·数学网。俄罗斯·数据库管理程序·接地·ID参考 已编制索引的文档: 167出版物自1962年以来,包括4本书和1个附加arXiv预打印 10作为编辑的贡献·4进一步贡献 审查活动: 493评论 传记参考: 5出版物 合著者: 79位合著者具有51联合出版物 1858联合作者 全部的 前5名合著者 122 单作者的 13 奥列夫科夫(V.P.Orevkov)。 10 A.O.斯利森科。 9 图古,Ènn Kharal'dovich 8 S.Yu,马斯洛夫。 7 达维多夫,G.V。 7 尤里·弗拉基米洛维奇·马蒂亚塞维奇 2 Akiyoshi、Ryota 2 谢尔盖·阿特莫夫 2 丹尼尔·卡森(Daniel F.Carson)。 2 丹钦、叶夫根尼 2 德米特里·格里戈列夫 2 B.Yu Konev。 2 弗拉基米尔·利夫希茨 2 洛伦茨,P.P。 2 唐纳德·洛夫兰。 2 达格·普拉维茨 2 乔治·罗宾逊。 2 约翰·艾伦·罗宾逊 2 尼古拉·沙宁(Nikola Shanin) 2 谢克曼,Jörg H。 2 索洛夫·弗拉基米洛维奇 2 塔内尔·塔米特 2 谢尔盖·图派洛 2 马克西姆·维塞米尔诺夫 2 格雷厄姆·怀特森 2 张婷 1 罗伯特·布罗科特·安德森 1 安德鲁斯,彼得·B·。 1 阿莱、东山英彦 1 阿尔汉格尔斯基(Arkhangel'ski),德米特里(Dmitri)A。 1 Bektur Sembiuly拜扎诺夫 1 Oleg V·Belegradek。 1 Belyaev,V.Ya。 1 本迪克斯,P.B。 1 J.H.贝内特。 1 埃弗特·威廉·贝思 1 罗伯特·W·宾克利。 1 伍德罗·W·布莱索。 1 莱昂尼德·博库特(Leonid A.Bokut)。 1 威尔弗里德·巴赫霍尔茨 1 Samuel R.巴斯。 1 切诺夫,V.P。 1 罗伯特·克拉克。 1 德米特里·O·达德金。 1 戴维斯,马丁·戴维 1 尼古拉斯·戈弗特·德布鲁因 1 亚历山大·德克蒂亚(Alexander M.Dekhtyar)。 1 亚历山大·雅科夫列维奇·迪科夫斯基 1 阿尔伯特·德拉加林。 1 谢尔盖·杜达科夫。 1 布拉德福德·邓纳姆 1 欧文·恩格尔 1 弗里德沙尔,R。 1 赫伯特·盖伦特。 1 西尔维奥·吉拉尔迪 1 保罗·C·吉尔摩。 1 Girsh,È。答:。 1 莫蒂·吉提克 1 J.R.卫德。 1 尤里·古里维奇 1 帕特里克·J·海斯。 1 劳伦斯·亨森。 1 爱德华·赫希。 1 阿列克桑德·伊万诺夫 1 斯蒂格·康格 1 卡拉瓦耶夫,Eh.F。 1 唐纳德·埃尔文(Donald Ervin Knuth) 1 新泽西州科索沃。 1 弗拉基克·雅科夫列维奇(Vladik Yakovlevich Kreinovich) 1 乔治·克雷塞尔 1 菲利普·克莱默 1 塞缪尔·克鲁什卡尔。 1 鲍里斯·库什纳。 1 萨姆索诺维奇·库塔特拉泽 1 J.M.拉拉扎巴尔。 1 丹尼尔·拉斯卡尔 1 乔治·洛格曼 1 大卫·C·勒克姆。 1 莫里斯·马根斯坦 1 马丁·洛夫(Martin-Löf,Per) 1 马茨金,M.B。 1 伯纳德·梅尔泽 1 詹姆斯·莫里斯。 1 穆西卡耶夫(Ilmir Kh Musikaev)。 1 雷因哈德·马斯肯斯(Reinhard A.Muskens)。 1 艾伦·纽厄尔 1 埃琳娜·诺吉纳 1 北,J.H。 1 F.C.奥格尔斯比。 1 格里戈里·奥尔霍维科夫。 1 奥列夫科夫(E.P.Orevkov)。 1 弗拉基米尔·奥尔耶夫科夫 1 普利乌什凯维奇乌斯,里贾曼塔斯 1 哈坎·普拉维茨 1 Hilary Whitehall普特南 1 Rebrov,A.K。 1 尤里·格里戈·埃维奇·雷斯特尼亚克 1 亚伯拉罕·罗宾逊 1 达科·萨雷纳克 1 AlekseĭL'vovich,塞姆诺夫 ……还有29位合著者 全部的 前5名系列 22 Zapiski Nauchnykh研讨会Leningradskogo Otdeleniya Matematicheskogo Instituta Imeni V.A.Steklova 13 苏联数学杂志 11 纯逻辑与应用逻辑年鉴 7 苏联数学。多克拉迪 6 Izvestiya Akademii NaukÈstonskoĭSSR。菲齐卡。马特马提卡 5 数学逻辑档案 5 Steklov数学研究所学报 4 俄罗斯数学调查 4 符号逻辑杂志 4 IGPL逻辑期刊 4 Trudy Matematicheskogo Instituta Imeni V.A.Steklova公司 三 Studia Logica公司 2 信息处理信件 2 理论计算机科学 2 数学科学杂志(纽约) 2 CSLI课堂讲稿 2 翻译。系列2。美国数学学会 1 Uspekhi Matematicheskikh Nauk[新南威尔士州] 1 比特币 1 哲学逻辑杂志 1 Kibernetika岛 1 苏联数学。消息报 1 圣母院形式逻辑杂志 1 编程和计算机软件 1 合成 1 控制论 1 计算机程序设计科学 1 计算机与人工智能 1 符号计算杂志 1 自动推理杂志 1 逻辑与计算杂志 1 Izvestiya Akademii Nauk SSSR公司。Seriya Matematicheskaya公司 1 逻辑、语言与信息杂志 1 Zapiski Nauchnykh研讨会POMI 1 符号逻辑公报 1 北欧哲学逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学课堂讲稿 1 逻辑课堂笔记 1 塞米奥提卡i Informatika 1 证明理论研究。专题论文 1 理论计算机科学电子笔记 1 翻译。系列2。美国数学学会 全部的 前5名领域 144 数学逻辑和基础(03-XX) 35 计算机科学(68至XX) 14 历史和传记(01-XX) 10 总体主题;集合(00-XX) 4 范畴理论;同调代数(18-XX) 2 数论(11-XX) 2 一般拓扑结构(54至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 116出版物有被引用561次409文件 引用人▼ 年份▼ 直觉主义逻辑简介。 Zbl 1036.03003号 格里戈里薄荷 32 2000 动态拓扑逻辑。 Zbl 1067.03028号 菲利普·克莱默;Mints,格里戈里 28 2005 Gentzen型系统和解析规则。一: 命题逻辑。 Zbl 0739.03011号 薄荷,G。 26 1990 超限导数的有限研究。 Zbl 0399.03044号 Minc,G.E.(通用电气公司)。 20 1978 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 证明理论论文选集。 Zbl 0773.03038号 薄荷,格里戈里E。 18 1992 元素分析的Epsilon替代法。 兹伯利0848.03032 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 序列和削减指标体系。 Zbl 0885.03043号 格里戈里薄荷 16 1997 可接受规则的可导出性。 兹伯利0375.002014 Minc,G.E.(通用电气公司)。 16 1976 模态逻辑简介。 Zbl 0942.03515号 薄荷,G。 15 1992 闭范畴和证明理论。 Zbl 0449.03054号 薄荷,G.E。 14 1981 序列推导的正规形式。 Zbl 0897.03053号 格里高利·薄荷 13 1996 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 闭范畴和证明理论。 Zbl 0368.02036号 Minc、G.E。 12 1977 可接受规则的可导出性。 Zbl 0358.02031号 薄荷,G.E。 11 1973 相关逻辑的切割消除定理。 Zbl 0379.02011 Minc,G.E.(通用电气公司)。 11 1976 初等元数学中抽象语言的使用:一些教学实例。 Zbl 0318.02003号 乔治·克雷塞尔;薄荷,G.E。;辛普森,S.G。 10 1975 程序结构综合的合理性。 Zbl 0514.68019号 薄荷,G。;Tyugu,E。 10 1982 直觉逻辑中析取和存在性质的复杂性。 Zbl 0939.03064号 萨姆·巴斯;格里戈里薄荷 9 1999 一类不含量词负出现的公式在LJ中的可演绎性问题的可解性。 Zbl 0208.01101号 薄荷,G.E。 9 1968 Gentzen型系统和Hilbert的ε代换方法。一、。 Zbl 0835.03023号 薄荷,G.E。 8 1994 康托空间中命题S4的完备性证明。 Zbl 0923.03026号 格里戈里薄荷 8 1999 1925-1969年苏联的证明理论。 Zbl 0747.03024号 格里戈里薄荷 7 1991 \((0,1)\)中S4的拓扑完备性证明。 Zbl 1133.03009号 格里戈里薄荷;张婷 7 2005 直觉Frege系统是多项式等价的。 Zbl 1095.03062号 Mints,G。;A.科耶夫尼科夫。 7 2004 直觉计算中的斯科勒姆方法。 Zbl 0286.02030号 Minc,G.E.(通用电气公司)。 7 1974 关于模态逻辑的一些计算。 Zbl 0208.01102号 Minc,G.E.(通用电气公司)。 7 1968 可证明可实现性的完整性。 Zbl 0704.03004号 薄荷,G.E。 7 1989 关联逻辑的浓缩分离是完全的:计算机辅助证明。 Zbl 0751.03011号 格里戈里薄荷;塔内尔·塔米特 6 1991 一阶线性逻辑的解析演算。 Zbl 0793.03006号 格里戈里薄荷 6 1993 Gentzen类型系统和解析规则。二: 谓词逻辑。 Zbl 0796.03014号 薄荷,G。 6 1993 康托空间中连续变换的命题逻辑。 兹比尔1103.03021 格里戈里薄荷;张婷 6 2005 无量词和单量词系统。 Zbl 0252.02027号 Minc,G.E.(通用电气公司)。 6 1973 用选择公理简化简单类型理论。 Zbl 0930.03080号 薄荷,G。 5 1999 带ε符号的Heyting谓词演算。 Zbl 0404.03045号 Minc,G.E.(通用电气公司)。 5 1977 直觉逻辑中Skolem函数的公理化。 Zbl 0971.03011号 格里戈里薄荷 5 2000 直觉逻辑的解析策略。 Zbl 0810.03007号 格里戈里薄荷 5 1994 范畴理论和证明理论。 Zbl 0514.03042号 Minc,G.E.(通用电气公司)。 5 1980 纯PROLOG的完全演算。 Zbl 0616.68004号 薄荷,G。 5 1986 带一个变量的\(\mu\)-演算的简化。 Zbl 1457.03070号 格里戈里薄荷;托马斯·施图德 5 2012 常域直觉逻辑中的插值失败。 Zbl 1327.03007号 格里戈里薄荷;格里戈里·奥尔霍维科夫;阿拉斯代尔·厄克哈特 5 2013 U.ber einige Kalküle der modalen Logik公司。 Zbl 0169.29901号 Minc,G.E.(通用电气公司)。 5 1968 斯科勒姆在序贯计算中消除正量词的方法。 Zbl 0186.00501号 薄荷,G.E。 5 1966 分支语言的Epsilon替换方法和(Delta_1^1)-理解规则。 兹比尔0954.03061 格里戈里薄荷;谢尔盖·图帕伊洛 4 1999 审慎监管局可以做什么。 Zbl 0372.02018号 Minc,G.E.(通用电气公司)。 4 1976 直觉主义命题公式的哥德尔-塔斯基翻译。 Zbl 1357.03055号 格里戈里薄荷 4 2012 ε替代法的强终止性。 Zbl 0870.03023号 格里戈里薄荷 4 1996 直觉谓词逻辑的插值定理。 Zbl 1001.03010号 薄荷,G。 4 2002 具有独立子问题和模态逻辑的结构综合S4。 Zbl 0589.68027号 薄荷,G。 4 1984 编程系统PRIZ。 Zbl 0647.68098号 薄荷,G。;E.图古。 4 1988 线性λ-项和自然演绎。 Zbl 0974.03051号 薄荷,G。 三 1998 逻辑推导的一种标准形式,表示算术推导。 Zbl 0786.03040号 薄荷,G。 三 1993 直觉命题演算子类的复杂性。 Zbl 0790.03041号 Mints,G。 三 1992 这里和那里的量化逻辑的无切割配方。 Zbl 1253.03087号 格里戈里薄荷 三 2010 用置换变换证明二阶强正规化。 Zbl 1095.03057号 Makoto Tatsuta;格里戈里薄荷 三 2005 无量词和单量词系统。 Zbl 0222.02022号 薄荷,G.E。 三 1971 基于逆方法确定可演绎性的计算机算法。 Zbl 0227.68044号 达维多夫,G.V。;S.Yu,马斯洛夫。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。 三 1971 无限导数的有限研究。 Zbl 0341.02020号 Minc,G.E.(通用电气公司)。 三 1975 PRIZ系统和命题演算。 Zbl 0533.68072号 沃洛兹,B.B。;马茨金,M.B。;薄荷,G.E。;丘古,Eh.Kh。 三 1983 一阶和二阶谓词逻辑的Epsilon替换。 Zbl 1275.03156号 格里戈里薄荷 三 2013 有限和无限导数的约简。 Zbl 0964.03057号 薄荷,G。 2 2000 尼古拉·亚历克桑德罗维奇·沙宁(60岁生日)。 Zbl 0459.01018号 S.Yu,马斯洛夫。;Yu Matiyasevich。五、。;薄荷,G.E。;奥列夫科夫,V.P。;A.O.斯利森科。 2 1980 COLOG-88系列。计算机逻辑国际会议,1988年12月12日至16日,苏联塔林。诉讼程序。 Zbl 0709.00021号 2 1990 存在实例化和强规范化。 Zbl 0887.03041号 薄荷,G。 2 1997 尼古拉·阿列克桑德罗维奇·沙宁(80岁生日)。 Zbl 1017.01517号 医学硕士弗塞米尔诺夫。;Girsh,È。答:。;格里戈列夫,D.Yu。;达维多夫,G.V。;Dantsin,E.Ya。;伊万诺夫,A.A。;B.Yu Konev。;Lifshits,V.A。;Yu Matiyasevich。五、。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。 2 2001 利用偏导数证明ε替换的终止性。 Zbl 1032.03046号 薄荷,G。 2 2003 omega规则的扩展。 Zbl 1341.03086号 Akiyoshi、Ryota;格里戈里薄荷 2 2016 S4C的切割消除:案例研究。 Zbl 1091.03026号 格里戈里薄荷 2 2006 索引\(\varepsilon\)-演算的完整性。 Zbl 1042.03009号 薄荷,G.E。;达科·萨雷纳克 2 2003 快速削减-单调削减。 Zbl 1043.03042号 格里戈里薄荷 2 2003 算术初始段中超限归纳可证性的精确估计。 兹比尔0252.02028 Minc,G.E.(通用电气公司)。 2 1973 构造谓词演算的Herbrand定理的类似物。 Zbl 0199.03402 薄荷,G.E。 2 1962 S5型无切结石。 Zbl 0201.00503号 薄荷,G.E。 2 1968 可接受的和派生的规则。 Zbl 0207.00401号 薄荷,G.E。 2 1968 一种新的算术约简序列。 Zbl 0492.03021号 Minc,G.E.(通用电气公司)。 2 1982 结构综合规则的完整性。 Zbl 0517.68058号 薄荷,G.E。;丘古,Eh.Kh。 2 1982 简化的算术一致性证明。 Zbl 0523.03043号 薄荷,G。 2 1982 非经典逻辑的解析计算。 Zbl 0632.03011号 Mints公司,G.E。 2 1985 初等数学的元数学。(Metamatematika ehlementarnoj matematiki)。Transl.公司。来自德国,带有G.E.Mints的前言。 Zbl 0662.0302号 欧文·恩格尔 2 1987 模态逻辑的分辨率计算。 Zbl 0671.03007号 薄荷,G。 2 1989 将Glivenko和Kreisel定理推广到一类谓词演算公式。 Zbl 0133.24901号 薄荷,G.E。;奥列夫科夫(E.P.Orevkov)。 2 1963 遗传有限集的Epsilon替换方法。 Zbl 0677.03040号 Mints,G。 2 1989 嵌入与S.Kripke的“语义”相关的操作。 Zbl 0166.25001号 薄荷,G.E。 2 1967 仅包含一元谓词变量的某些公式类的构造谓词演算中的不可解性。 Zbl 0173.01003号 S.Yu,马斯洛夫。;薄荷,G.E。;奥列夫科夫,V.P。 2 1965 尼古拉·亚历克桑德罗维奇·沙宁(在他70岁生日时)。 Zbl 0704.01021号 Yu Matiyasevich。五、。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。 2 1990 使用\(\varepsilon\)-符号进行谓词演算。 Zbl 0358.02023号 薄荷,G.E。 1 1974 构造性证明理论和非标准分析。G.E.Mints编辑。(Конструктивная теория доказательств и нестандартный анализ.) Zbl 1102.03003号 德拉加林,A.G。 1 2003 展开一个无效的切割消除证明。 Zbl 1185.03082号 格里戈里薄荷 1 2006 关于建设性否定的注释。 Zbl 1108.03057号 格里戈里薄荷 1 2006 关联逻辑的截消定理。 Zbl 0374.02017 Minc,G.E.(通用电气公司)。 1 1973 规范树的通用性。 Zbl 0391.03025号 Minc,G.E.(通用电气公司)。 1 1976 E定理。 Zbl 0404.03044号 Minc,G.E.(通用电气公司)。 1 1977 PRA可以做些什么? Zbl 0449.03055号 薄荷,G.E。 1 1980 对模态微积分片段的有效切割消除。 Zbl 1254.03110号 格里戈里薄荷 1 2012 减少穷尽搜索的问题。Transl.公司。来自俄罗斯的V.Minachin。 兹比尔0853.00021 1 1997 将顺序演算策略转换为S4的分辨率。 Zbl 0869.03010号 格里戈里薄荷;弗拉基米尔·奥尔耶夫科夫;塔内尔·塔米特 1 1996 Thoralf Skolem和谓词逻辑的epsilon替换方法。 Zbl 0885.03004号 格里戈里薄荷 1 1996 具有选择原则的直觉系统的规范化定理。 Zbl 0772.03027号 薄荷,格里戈里 1 1990 96年逻辑学术讨论会。1996年7月9日至15日,西班牙圣塞巴斯蒂安,座谈会会议记录。 Zbl 0893.00029号 1 1998 直觉线性逻辑中的正规演绎。 Zbl 0936.03058号 薄荷,G。 1 1998 经典和直观的几何逻辑。 Zbl 1430.03034号 格里戈里薄荷 1 2017 欧米伽定律的推广。 Zbl 1341.03086号 Akiyoshi、Ryota;格里戈里薄荷 2 2016 直觉命题自然演绎的ADC证明搜索方法。 Zbl 1444.03160号 薄荷,G。;Steinert-Threlkeld女士。 1 2016 (mathsf{PA})和(mathsf)的非确定ε替换法{ID}_1\). Zbl 1380.03063号 格里戈里薄荷 1 2015 直觉主义的存在实例化和ε符号。 Zbl 1429.03057号 格里戈里薄荷 1 2015 传递性密集框架的逻辑:从分步框架分析到完全删减。 Zbl 1343.03013号 西尔维奥·吉拉尔迪;Mints,格里戈里 1 2014 常域直觉逻辑中的插值失败。 Zbl 1327.03007号 格里戈里薄荷;格里戈里·奥尔霍维科夫;阿拉斯代尔·厄克哈特 5 2013 一阶和二阶谓词逻辑的Epsilon替换。 Zbl 1275.03156号 格里戈里薄荷 三 2013 带一个变量的\(\mu\)-演算的简化。 Zbl 1457.03070号 格里戈里薄荷;托马斯·施图德 5 2012 直觉主义命题公式的哥德尔-塔斯基翻译。 Zbl 1357.03055号 格里戈里薄荷 4 2012 对模态微积分片段的有效切割消除。 兹比尔1254.03110 格里戈里薄荷 1 2012 \(\mathrm的非确定性ε替换{ID}_1\):有效证明。 Zbl 1319.03061号 格里戈里薄荷 1 2012 这里和那里的量化逻辑的无切割配方。 Zbl 1253.03087号 格里戈里薄荷 三 2010 用马斯洛夫逆方法判定E类。 Zbl 1287.03028号 格里戈里薄荷 1 2010 一元逻辑中的逻辑方程。 Zbl 1190.03014号 Mints,G。;Hoshi,T。 1 2009 ε演算简单公式的割消。 Zbl 1136.03037号 薄荷,G。 1 2008 S4C的切割消除:案例研究。 Zbl 1091.03026号 格里戈里薄荷 2 2006 展开无效的切割消除证明。 兹比尔1185.03082 格里戈里薄荷 1 2006 关于建设性否定的注释。 Zbl 1108.03057号 格里戈里薄荷 1 2006 动态拓扑逻辑。 Zbl 1067.03028号 菲利普·克莱默;格里戈里薄荷 28 2005 \((0,1)\)中S4的拓扑完备性证明。 Zbl 1133.03009号 格里戈里薄荷;张婷 7 2005 康托空间中连续变换的命题逻辑。 Zbl 1103.03021号 格里戈里薄荷;张婷 6 2005 用置换变换证明二阶强正规化。 Zbl 1095.03057号 Makoto Tatsuta;格里戈里薄荷 三 2005 直觉Frege系统是多项式等价的。 Zbl 1095.03062号 薄荷,G。;A.科耶夫尼科夫。 7 2004 利用偏导数证明ε替换的终止性。 Zbl 1032.03046号 薄荷,G。 2 2003 索引\(\varepsilon\)-演算的完整性。 Zbl 1042.03009号 薄荷,G.E。;Darko Sarenac公司 2 2003 快速削减-单调削减。 Zbl 1043.03042号 格里戈里薄荷 2 2003 构造性证明理论和非标准分析。G.E.Mints编辑。(Конструктивная теория доказательств и нестандартный анализ.) Zbl 1102.03003号 德拉加林,A.G。 1 2003 直觉谓词逻辑的插值定理。 Zbl 1001.03010号 薄荷,G。 4 2002 尼古拉·亚历克桑德罗维奇·沙宁(80岁生日)。 Zbl 1017.01517号 医学硕士弗塞米尔诺夫。;Girsh,È。答:。;格里戈;ev,D.Yu。;达维多夫,G.V。;Dantsin,E.Ya。;伊万诺夫,A.A。;B.Yu Konev。;Lifshits,V.A。;于马蒂亚塞维奇。五、。;薄荷,G.E。;奥列夫科夫,V.P。;A.O.斯利森科。 2 2001 直觉主义逻辑简介。 Zbl 1036.03003号 格里戈里薄荷 32 2000 直觉逻辑中Skolem函数的公理化。 Zbl 0971.03011号 格里戈里薄荷 5 2000 有限和无限导数的约简。 Zbl 0964.03057号 薄荷,G。 2 2000 直觉逻辑中析取和存在性质的复杂性。 Zbl 0939.03064号 萨姆·巴斯;格里戈里薄荷 9 1999 命题S4在Cantor空间中的一个完全性证明。 Zbl 0923.03026号 格里戈里薄荷 8 1999 用选择公理简化简单类型理论。 Zbl 0930.03080号 薄荷,G。 5 1999 分支语言的Epsilon替换方法和(Delta_1^1)-理解规则。 Zbl 0954.03061号 Mints,格里戈里;谢尔盖·图帕伊洛 4 1999 线性λ-项和自然演绎。 Zbl 0974.03051号 薄荷,G。 三 1998 96年逻辑学术讨论会。1996年7月9日至15日,西班牙圣塞巴斯蒂安,座谈会会议记录。 Zbl 0893.00029号 1 1998 直觉线性逻辑中的正规演绎。 Zbl 0936.03058号 薄荷,G。 1 1998 序列和削减指标体系。 Zbl 0885.03043号 格里戈里薄荷 16 1997 存在实例化和强规范化。 兹伯利0887.03041 薄荷,G。 2 1997 减少穷尽搜索的问题。Transl.公司。来自俄罗斯的V.Minachin。 Zbl 0853.00021号 1 1997 元素分析的Epsilon替代法。 Zbl 0848.03032号 格里戈里薄荷;谢尔盖·图帕伊洛;威尔弗里德·巴赫霍尔茨 17 1996 序列推导的正规形式。 Zbl 0897.03053号 格里高利·薄荷 13 1996 ε替代法的强终止性。 Zbl 0870.03023号 Mints,格里戈里 4 1996 将顺序演算策略转换为S4的分辨率。 Zbl 0869.03010号 格里戈里薄荷;弗拉基米尔·奥尔耶夫科夫;塔内尔·塔米特 1 1996 Thoralf Skolem和谓词逻辑的epsilon替换方法。 Zbl 0885.03004号 Mints,格里戈里 1 1996 Gentzen型系统和Hilbertε替换方法。一、。 Zbl 0835.03023号 薄荷,G.E。 8 1994 直觉逻辑的解决策略。 Zbl 0810.03007号 格里戈里薄荷 5 1994 一阶线性逻辑的分解演算。 Zbl 0793.03006号 格里戈里薄荷 6 1993 Gentzen类型系统和解析规则。二: 谓词逻辑。 Zbl 0796.03014号 薄荷,G。 6 1993 逻辑推导的一种标准形式,表示算术推导。 兹比尔0786.03040 薄荷,G。 三 1993 证明理论论文选集。 Zbl 0773.03038号 薄荷,格里戈里E。 18 1992 模态逻辑简介。 Zbl 0942.03515号 薄荷,G。 15 1992 直觉命题演算子类的复杂性。 Zbl 0790.03041号 薄荷,G。 三 1992 1925-1969年苏联的证明理论。 Zbl 0747.03024号 格里戈里薄荷 7 1991 关联逻辑的浓缩分离是完全的:计算机辅助证明。 兹伯利0751.03011 格里戈里薄荷;塔内尔·塔米特 6 1991 Gentzen型系统和解析规则。一: 命题逻辑。 Zbl 0739.03011号 薄荷,G。 26 1990 COLOG-88系列。计算机逻辑国际会议,苏联塔林,1988年12月12日至16日。诉讼程序。 Zbl 0709.00021号 2 1990 尼古拉·亚历克桑德罗维奇·沙宁(在他70岁生日时)。 Zbl 0704.01021号 Yu Matiyasevich。五、。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。 2 1990 具有选择原则的直觉系统的规范化定理。 Zbl 0772.03027号 薄荷,格里戈里 1 1990 几种形式化的逻辑编程系统。 Zbl 0695.68062号 薄荷,格里戈里·埃弗罗伊莫维奇 1 1990 可证明可实现性的完整性。 兹比尔0704.03004 薄荷,G.E。 7 1989 模态逻辑的分辨率计算。 Zbl 0671.03007号 薄荷,G。 2 1989 遗传有限集的Epsilon替换方法。 Zbl 0677.03040号 薄荷,G。 2 1989 编程系统PRIZ。 Zbl 0647.68098号 薄荷,G。;E.图古。 4 1988 初等数学的元数学。(Metamatematika ehlementarnoj matematiki)。Transl.公司。来自德国,带有G.E.Mints的前言。 兹比尔0662.03002 欧文·恩格尔 2 1987 纯PROLOG的完全演算。 Zbl 0616.68004号 薄荷,G。 5 1986 陈述性语言的语义。 Zbl 0607.68006号 薄荷,G。;Tyugu,E。 1 1986 模态逻辑解析的计算。 Zbl 0632.03012号 薄荷,G。 1 1986 非经典逻辑的解析计算。 Zbl 0632.03011号 薄荷,G.E。 2 1985 具有独立子问题和模态逻辑S4的结构综合。 Zbl 0589.68027号 薄荷,G。 4 1984 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 Zbl 0567.03002号 20 1983 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 兹伯利0567.03001 13 1983 PRIZ系统和命题演算。 Zbl 0533.68072号 沃洛兹,B.B。;马茨金,M.B。;薄荷,G.E。;丘古,Eh.Kh。 三 1983 程序结构综合的合理性。 Zbl 0514.68019号 薄荷,G。;E.图古。 10 1982 一种新的算术约简序列。 Zbl 0492.03021号 Minc,G.E.(通用电气公司)。 2 1982 结构综合规则的完整性。 兹伯利0517.68058 薄荷,G.E。;丘古,Eh.Kh。 2 1982 简化的算术一致性证明。 Zbl 0523.03043号 薄荷,G。 2 1982 闭范畴和证明理论。 Zbl 0449.03054号 薄荷,G.E。 14 1981 范畴理论和证明理论。 Zbl 0514.03042号 Minc,G.E.(通用电气公司)。 5 1980 尼古拉·亚历克桑德罗维奇·沙宁(60岁生日)。 Zbl 0459.01018号 S.Yu,马斯洛夫。;Yu Matiyasevich。五、。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。 2 1980 PRA可以做什么? Zbl 0449.03055号 薄荷,G.E。 1 1980 超限导数的有限研究。 Zbl 0399.03044号 Minc、G.E。 20 1978 闭范畴和证明理论。 Zbl 0368.02036号 Minc,G.E.(通用电气公司)。 12 1977 带ε符号的Heyting谓词演算。 Zbl 0404.03045号 Minc,G.E.(通用电气公司)。 5 1977 E定理。 Zbl 0404.03044号 Minc,G.E.(通用电气公司)。 1 1977 可接受规则的可导出性。 Zbl 0375.02014号 Minc,G.E.(通用电气公司)。 16 1976 相关逻辑的切割消除定理。 Zbl 0379.02011 Minc、G.E。 11 1976 审慎监管局可以做什么。 Zbl 0372.02018号 Minc,G.E.(通用电气公司)。 4 1976 规范树的通用性。 Zbl 0391.03025号 Minc,G.E.(通用电气公司)。 1 1976 初等元数学中抽象语言的使用:一些教学实例。 兹伯利0318.02003 乔治·克雷塞尔;薄荷,G.E。;辛普森,S.G。 10 1975 无限导数的有限研究。 Zbl 0341.02020号 Minc,G.E.(通用电气公司)。 三 1975 算术公式的超有限展开。 Zbl 0319.02026号 薄荷,G.E。 1 1975 直觉计算中的斯科勒姆方法。 Zbl 0286.02030号 Minc,G.E.(通用电气公司)。 7 1974 使用\(\varepsilon\)-符号进行谓词演算。 Zbl 0358.02023号 Mints公司,G.E。 1 1974 可接受规则的可导出性。 Zbl 0358.02031号 薄荷,G.E。 11 1973 无量词和单量词系统。 Zbl 0252.02027号 Minc,G.E.(通用电气公司)。 6 1973 算术初始段中超限归纳可证性的精确估计。 Zbl 0252.02028号 Minc,G.E.(通用电气公司)。 2 1973 …还有16个文档 所有引用出版物 前5名被引用出版物 全部的 前5名388位作者引用 36 格里戈里·埃弗罗伊莫维奇造币厂 9 罗莎莉,伊姆霍夫 9 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 8 大卫·费尔南德斯·杜克 8 索洛夫·弗拉基米洛维奇 6 阿莱、东山英彦 6 马提亚斯·巴兹 6 菲利普·克莱默 5 古拉姆·贝扎尼什维利 5 米尔贾纳Borisavljević 5 迪莉娅·凯斯纳 5 萨拉·内格里 5 奥列夫科夫,V.P。 5 雷文莎·拉马纳亚克 5 图古,Ènn Kharal'dovich 5 巴威·乌尔兹琴 5 理查德·扎克 4 费德里科·阿西埃里 4 列夫·戈迪夫 4 杰伦·古德米特(Jeroen P.Goudsmit)。 4 埃米尔·杰瓦贝克 4 肖恩·斯坦德弗 4 塔内尔·塔米特 三 尼克·贝扎尼什维利 三 理查德·布鲁特(Richard F.Blute)。 三 威尔弗里德·布霍尔茨 三 Samuel R.巴斯。 三 蝉蜕、阿加塔 三 罗伯托·迪·科斯莫 三 罗伊·戴克霍夫 三 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 三 大卫·加伯里亚 三 Sachio Hirokawa 三 罗马库兹涅茨 三 塔马尔·兰多 三 弗拉基米尔·利夫希茨 三 乔治·莫瑟 三 鲁伊斯·平托(Luís F.Pinto)。 三 弗朗西丝卡·波乔列西 三 乔安·拉斯加 三 卢茨·施罗德 三 阿列克西·舒伯特 三 赫尔穆特·施维赫滕贝格 三 Robert F.Stärk。 三 Makoto Tatsuta 三 海因里希·西奥多 三 弗兰克·沃尔特 三 迈克尔·维克托洛维奇(Michael Viktorovich) 2 克劳斯·埃利格 2 费利西达·阿瓜多 2 卡洛斯·阿雷塞斯 2 杰里米·阿维加德 2 阿诺·阿夫隆 2 朱利安·巴克斯 2 加拿大巴什肯特 2 阿诺德·贝克曼 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 约瑟夫·布杜 2 乍得·布朗·爱德华 2 佩德罗·卡巴拉尔 2 亚历克斯·西特金 2 科科特,J.罗宾B。 2 彼得·柯林斯。 2 瓦莱里亚·德·佩瓦 2 乌戈·德利古罗 2 Stéphane P.德姆里。 2 马丁·迪格斯 2 丹尼尔·多尔蒂(Daniel J.Dougherty)。 2 Gilles Dowek 2 豪尔赫·范丁诺 2 煎炸,伊曼纽尔 2 藤田,健毅 2 迪迪埃·加米歇 2 拉杰夫·普拉巴卡尔·戈尔 2 丹尼尔·戈林 2 尤里·古里维奇 2 赫里萨菲斯·哈托纳斯 2 米尔贾纳·伊利奇 2 蒋莹 2 Joost J.乔斯特恩。 2 诺里希罗·卡米德 2 Makoto金泽 2 乌尔里希·威廉·科伦巴赫 2 Hidenori Kurokawa 2 阿吉·库鲁茨 2 亚历山大·莱奇 2 路易吉·利古里 2 朱塞佩·隆戈 2 卢塞罗·布莱恩,乔尔·格雷戈里 2 莫里斯·马根斯坦 2 西蒙·马提尼 2 安德烈亚·马西尼 2 拉尔夫·马提斯 2 梅哈特,劳伦特 2 格里戈里·奥尔霍维科夫。 2 法比奥·帕斯夸利 2 德克·帕丁森 2 Jaan Penjam 2 吉尔伯托·佩雷斯 2 雅罗斯拉夫·伊戈列维奇·彼得鲁金 …还有288位作者 全部的 前5名61篇连载文章中引用 63 纯逻辑与应用逻辑年鉴 31 理论计算机科学 25 数学逻辑档案 24 Studia Logica公司 17 符号逻辑杂志 11 哲学逻辑杂志 11 符号逻辑述评 10 圣母院形式逻辑杂志 8 苏联数学杂志 7 自动推理杂志 7 符号逻辑公报 7 泛逻辑 6 MSCS公司。计算机科学中的数学结构 6 数学逻辑季刊(MLQ) 5 Archive für Mathematische Logik und Grundlagenforschung公司 5 立陶宛数学杂志 5 纯粹与应用代数杂志 5 数学科学杂志(纽约) 5 应用逻辑杂志 4 人工智能 4 合成 4 Indagationes Mathematicae公司。新系列 4 应用非经典逻辑杂志 4 逻辑程序设计理论与实践 4 计算机科学中的逻辑方法 三 代数与逻辑 三 逻辑、语言与信息杂志 三 逻辑与逻辑哲学 2 信息处理信件 2 编程和计算机软件 2 逻辑科公报 2 符号计算杂志 2 信息与计算 2 计算系统理论 2 软计算 2 逻辑与代数程序设计杂志 2 ACM计算逻辑事务 1 俄罗斯数学调查 1 数学进展 1 比特币 1 国际数学与数学科学杂志 1 数学研究所出版物。Nouvelle Série公司 1 西伯利亚数学杂志 1 逻辑历史与哲学 1 计算的形式方面 1 国际计算机科学基础杂志 1 控制论与系统分析 1 计算复杂性 1 国际计算机与系统科学杂志 1 图表 1 积分变换与特殊函数 1 数学与人工智能年鉴 1 Matematicheskie Trudy公司 1 埃尔肯特尼斯 1 Oberwolfach报告 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 埃里温州立大学学报。物理和数学科学 1 程序设计中的逻辑和代数方法杂志 1 Lietuvos Matematikos林基尼。立陶宛数学学会会刊。系列A 1 Logicheskie Issledovaniya公司 全部的 前5名23个字段中引用 374 数学逻辑和基础(03-XX) 96 计算机科学(68至XX) 18 范畴理论;同调代数(18-XX) 13 一般拓扑结构(54至XX) 12 有序,格,有序代数结构(06-XX) 8 历史和传记(01-XX) 6 总体主题;集合(00-XX) 4 一般代数系统(08-XX) 2 \(K\)理论(19-XX) 2 测量和集成(28-XX) 2 动力系统和遍历理论(37至XX) 1 组合数学(05-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 偏微分方程(35-XX) 1 功能分析(46倍X倍) 1 几何图形(51至XX) 1 微分几何(53至XX) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.