格里戈里薄荷 经典和直观的几何逻辑。 (英语) Zbl 1430.03034号 Prosorov,Oleg(编辑),《哲学、数学、语言学:互动方面国际会议论文集》(PhML-2012),俄罗斯圣彼得堡欧勒国际数学研究所,2012年5月22日至25日。伦敦:学院出版物。螺柱日志。(伦敦)70117-125(2017)。MSC公司:03B20型 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。(伦敦)70117-125(2017;Zbl 1430.03034)
薄荷,G。;Steinert-Threlkeld女士。 直觉命题自然演绎的ADC证明搜索方法。 (英语) Zbl 1444.03160号 J.日志。计算。 26,第1号,395-408(2016).MSC公司:03年3月 03B20型 05年3月 20层03 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖}和\textit{Sh.Steinert-Threlkeld},J.Log。计算。26,第1号,395--408(2016;Zbl 1444.03160) 全文: 内政部
格里戈里薄荷 直觉主义的存在实例化和ε符号。 (英语) Zbl 1429.03057号 Wansing,Heinrich(编辑),Dag Prawitz关于证据和意义。查姆:斯普林格。外部。控制日志。7, 225-238 (2015).MSC公司:03B20型 03年3月 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},Outst。控制日志。7225-238(2015;Zbl 1429.03057) 全文: 内政部 arXiv公司
格里戈里薄荷 模态逻辑的分析切入点:系统B。 (英语) Zbl 1358.03033号 Tennant,Neil(编辑),《基础冒险》。为哈维·弗里德曼撰写的论文。伦敦:学院出版物(ISBN 978-1-84890-117-9/pbk)。《致敬》22,91-111(2014)。MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},《致敬》22,91--111(2014;Zbl 1358.03033)
西尔维奥·吉拉尔迪;格里戈里薄荷 传递性密集框架的逻辑:从分步框架分析到完全删减。 (英语) 兹比尔1343.03013 日志。J.IGPL公司 22,第4期,585-596(2014).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{G.Mints},日志。J.IGPL 22,第4号,585--596(2014;Zbl 1343.03013) 全文: 内政部
格里戈里薄荷;格里戈里·奥尔霍维科夫;阿拉斯代尔·厄克哈特 常域直觉逻辑中插值的失败。 (英语) Zbl 1327.03007号 J.塞姆。日志。 78,第3期,937-950(2013). 审核人:瓦列里·普利斯科(莫斯科) MSC公司:03B20型 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}等人,J.Symb。日志。78,第3号,937--950(2013;Zbl 1327.03007) 全文: 内政部 arXiv公司 欧几里得
格里戈里薄荷 一阶和二阶谓词逻辑的Epsilon替换。 (英语) Zbl 1275.03156号 Ann.纯粹应用。逻辑 164,第6期,733-739(2013). 审核人:M.Yasuhara(普林斯顿) MSC公司:35楼03号 30楼03号 05年3月 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},Ann.纯应用。逻辑164,No.6,733--739(2013;Zbl 1275.03156) 全文: 内政部
格里戈里薄荷;托马斯·施图德 带一个变量的\(\mu\)-演算的简化。 (英语) Zbl 1457.03070号 Miller,Dale(编辑)等人,第八届计算机科学不动点研讨会论文集,爱沙尼亚塔林,2012年3月24日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)77,47-54(2012)。MSC公司:05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{T.Studer},电子。程序。西奥。计算。科学。(EPTCS)77,47-54(2012年;兹bl 1457.03070) 全文: arXiv公司 链接
格里戈里薄荷 对模态微积分片段的有效切割消除。 (英语) Zbl 1254.03110号 螺柱日志。 100,编号1-2,279-287(2012). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:05年3月 03B44号 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。100,编号1--2,279--287(2012;Zbl 1254.03110) 全文: 内政部
格里戈里薄荷 哥德尔·塔斯基对直觉命题公式的翻译。 (英语) Zbl 1357.03055号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265,487-491(2012)。MSC公司:03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},莱克特。注释计算。科学。7265、487--491(2012年;Zbl 1357.03055) 全文: 内政部
格里戈里薄荷 这里和那里的量化逻辑的无切割配方。 (英语) Zbl 1253.03087号 Ann.纯粹应用。逻辑 162,第3期,237-242(2010). 审核人:曼努埃尔·布雷默(杜塞尔多夫) MSC公司:05年3月 03B20型 68N17号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},Ann.纯应用。逻辑162,No.3,237--242(2010;Zbl 1253.03087) 全文: 内政部
格里戈里薄荷 用马斯洛夫逆方法判定E类。 (英语) Zbl 1287.03028号 安德烈亚斯·布拉斯(编辑)等人,《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-642-15024-1/pbk)。计算机科学讲座笔记6300,529-537(2010)。MSC公司:03B25号 03B10号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},莱克特。注释计算。科学。6300、529--537(2010年;Zbl 1287.03028) 全文: 内政部
薄荷,G。;Hoshi,T。 一元逻辑中的逻辑方程。 (英语。俄文原件) 兹比尔1190.03014 数学杂志。科学。,纽约 158,第5期,741-752(2009); Zap的翻译。诺什。塞米恩。POMI 358251-270(2008)。 审核人:M.Yasuhara(普林斯顿) MSC公司:03B10号机组 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{T.Hoshi},J.数学。科学。,纽约158号,第5741-752号(2009年;兹bl 1190.03014);Zap的翻译。诺什。塞米恩。POMI 358、251--270(2008) 全文: 内政部
格里戈里薄荷 关于建设性否定的注释。 (英语) Zbl 1108.03057号 合成 148,第3号,701-717(2006). 审核人:蒂埃里·科昆德(哥德堡) MSC公司:03楼50 03楼55 03-03 03B20型 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},Synthese 148,No.3,701--717(2006;Zbl 1108.03057) 全文: 内政部
格里戈里薄荷 S4对于\((0,1)\)是拓扑完备的:一个简短的证明。 (英语) Zbl 1112.03016号 日志。J.IGPL公司 14,第1期,63-71(2006). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},日志。J.IGPL 14,No.1,63--71(2006;Zbl 1112.03016) 全文: 内政部
格里戈里薄荷 S4C的切割消除:案例研究。 (英语) Zbl 1091.03026号 螺柱日志。 82,第1期,121-132(2006). 审核人:Reinhard Kahle(科英布拉) MSC公司:05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。82,No.1,121--132(2006;Zbl 1091.03026) 全文: 内政部
Makoto Tatsuta;格里戈里薄荷 用置换变换证明二阶强正规化。 (英语) Zbl 1095.03057号 Ann.纯粹应用。逻辑 136,第1-2号,134-155(2005). 审核人:Reinhard Kahle(科英布拉) MSC公司:05年3月 03年11月15日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta}和\textit{G.Mints},Ann.Pure Appl。逻辑136,编号1--2,134-155(2005;Zbl 1095.03057) 全文: 内政部
格里戈里薄荷;张婷 康托空间中连续变换的命题逻辑。 (英语) Zbl 1103.03021号 拱门。数学。逻辑 44,第6期,783-799(2005). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖}和\textit{T.张},拱门。数学。逻辑44,No.6,783--799(2005;Zbl 1103.03021) 全文: 内政部
格里戈里薄荷;张婷 \((0,1)\)中S4的拓扑完备性证明。 (英语) Zbl 1133.03009号 Ann.纯粹应用。逻辑 133,编号1-3,231-245(2005).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖}和\textit{T.张},安。纯苹果。逻辑133,编号1--3,231--245(2005;Zbl 1133.03009) 全文: 内政部
菲利普·克莱默;格里戈里薄荷 动态拓扑逻辑。 (英语) Zbl 1067.03028号 Ann.纯粹应用。逻辑 131,编号1-3133-158(2005). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B44号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Kremer}和\textit{G.Mints},Ann.纯应用。逻辑131,No.1--3,133--158(2005;Zbl 1067.03028) 全文: 内政部
德拉加林,A.G。 薄荷,G.E。(编辑) 构造性证明理论和非标准分析。G.E.Mints编辑。(Конструктивная теория доказательств и нестандартный анализ.) (俄语) Zbl 1102.03003号 莫斯科:土耳其URSS(ISBN 5-354-00387-3)。543页。(2003). 审核人:MR2118475(2006b:03080) MSC公司:03-06 03楼55 05时03分 00A30型 01A75号 03B35型 03C90号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.G.Dragalin}和\textit{G.E.Mints}(编辑)。莫斯科:Ehdority URSS(2003;Zbl 1102.03003)
薄荷,G.E。;达科·萨雷纳克 索引\(\varepsilon\)-演算的完整性。 (英语) Zbl 1042.03009号 拱门。数学。逻辑 42,第7期,617-625(2003). 审核人:Pavel Materna(普拉哈) MSC公司:03B10号机组 03B65号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints}和\textit{D.Sarenac},拱门。数学。逻辑42,No.7,617--625(2003;Zbl 1042.03009) 全文: 内政部
薄荷,G。 直觉谓词逻辑的插值定理。 (英语) 兹比尔1001.03010 Ann.纯粹应用。逻辑 113,编号1-3,225-242(2002). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03C40号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},Ann.纯应用。逻辑113,No.1--3,225--242(2002;Zbl 1001.03010) 全文: 内政部
格里戈里薄荷 直觉主义逻辑简介。 (英语) Zbl 1036.03003号 大学数学系列。纽约州纽约市:Kluwer Academic/Plenum出版社(ISBN 0-306-46394-6/hbk)。九、131页。(2000). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03-02 03-01 03B20型 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},直觉主义逻辑简介。纽约州纽约市:Kluwer Academic/Plenum出版社(2000;Zbl 1036.03003)
格里戈里薄荷 直觉逻辑中Skolem函数的公理化。 (英语) Zbl 0971.03011号 Faller,Martina(编辑)等人,《信息动力学的形式化》。加州斯坦福:CSLI,语言与信息研究中心。CSLI法律。笔记。91, 105-114 (2000). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B20型 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},in:将信息的动态形式化。加州斯坦福:CSLI,语言与信息研究中心。105-114(2000;Zbl 0971.03011)
薄荷,G。 用选择公理简化简单类型理论。 (英语) Zbl 0930.03080号 J.塞姆。日志。 64,第2期,479-485(1999). 审核人:博里奇奇(贝尔格莱德) MSC公司:05年3月 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},J.塞姆。日志。64,第2号,479--485(1999;Zbl 0930.03080) 全文: 内政部
格里戈里薄荷 康托空间中命题S4的完备性证明。 (英语) Zbl 0923.03026号 或者,埃瓦·奥斯卡(编辑),《工作中的逻辑》。纪念海伦娜·拉西奥瓦的散文。海德堡:Physica-Verlag。模糊软计算研究。第2479-88页(1999年)。 审核人:L.F.Goble(塞勒姆) MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},Stud.模糊软计算。24、79——88(1999;Zbl 0923.03026)
薄荷,G。 线性λ-项和自然演绎。 (英语) Zbl 0974.03051号 螺柱日志。 60,第1期,209-231(1998). 审核人:S.V.Solov'ev(图卢兹) MSC公司:03楼52 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷},螺柱日志。60,第1号,209--231(1998;Zbl 0974.03051) 全文: 内政部
薄荷,G。 直觉线性逻辑中的正规演绎。 (英语) Zbl 0936.03058号 拱门。数学。逻辑 37,编号5-6,415-425(1998). 审核人:S.V.Solov'ev(达勒姆) MSC公司:03楼52 05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},拱门。数学。逻辑37,编号5--6,415--425(1998;Zbl 0936.03058) 全文: 内政部
薄荷,G。 自然演绎的三个方面。 (英语) Zbl 1415.03025号 Galmiche,Didier(编辑),用分析表和相关方法进行自动推理。1997年5月13日至16日,法国蓬特-阿-穆森,TABLEAUX’97国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1227,16-30(1997年)。MSC公司:03B35型 03B20型 03B40型 03年3月 05年3月 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},莱克特。注释计算。科学。1227年,16-30年(1997年;Zbl 1415.03025年) 全文: 内政部
格里戈里薄荷 序列和削减指标体系。 (英语) Zbl 0885.03043号 J.菲洛斯。日志。 26,第6号,671-696(1997). 审核人:H.Wansing(莱比锡) MSC公司:05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},J.菲洛斯。日志。26,第6号,671--696(1997;Zbl 0885.03043) 全文: 内政部
格里戈里薄荷;弗拉基米尔·奥尔耶夫科夫;塔内尔·塔米特 将顺序演算策略转换为S4的分辨率。 (英语) Zbl 0869.03010号 Wansing,Heinrich(编辑),模态逻辑的证明理论。《研讨会论文集》,德国汉堡,1993年11月19日至20日。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。2, 17-31 (1996). 审核人:N.Zamov(喀山) MSC公司:03B45号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}等人,应用。日志。序列号。2、17-31(1996;Zbl 0869.03010)
格里高利·薄荷 序列派生的正规形式。 (英语) Zbl 0897.03053号 Odifreddi,Piergiorgio(编辑),《克里塞利亚纳:关于乔治·克里塞尔及其周围》。马萨诸塞州韦尔斯利:A K Peters。469-492 (1996). 审核人:V.佩克豪斯(爱尔兰根) MSC公司:05年3月 03B20型 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},in:克雷塞利亚纳:关于格奥尔格·克雷塞尔及其周围。马萨诸塞州韦尔斯利:A K Peters。469--492(1996年;Zbl 0897.03053)
薄荷,G.E。 用ε替换等式谓词逻辑的方法。 (英语。俄文原件) Zbl 0934.03073号 数学杂志。科学。,纽约 87,编号1,3234-3252(1997); Zap的翻译。诺什。塞米恩。POMI 22093-122(1995)。 审核人:Osamu Sonobe(福洛尼卡) MSC公司:05年3月 03B10号机组 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints},J.数学。科学。,纽约87,No.1,1(1995;Zbl 0934.03073);Zap的翻译。诺什。塞米恩。波米220,93——122(1995) 全文: 内政部
格里戈里薄荷 直觉逻辑的解决策略。 (英语) Zbl 0810.03007号 Mayoh,Brian(编辑)等人,《约束编程》。1993年8月13日至24日在爱沙尼亚帕尔努举行的北约高级研究所会议记录。柏林:施普林格出版社。北约ASI系列。,序列号。F、 计算。系统。科学。131, 289-311 (1994). 审核人:N.Zamov(喀山) MSC公司:03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},北约ASI Ser。,序列号。F、 计算。系统。科学。131289--311(1994年;Zbl 0810.03007)
格里戈里薄荷 非经典逻辑中求解方法的策略。 (英语) Zbl 0796.03015号 Gottlob,Georg(编辑)等人,《计算逻辑和证明理论》。1993年8月24日至27日,第三届库尔特·哥德尔学术讨论会,KGC’93,捷克共和国布尔诺。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。713, 62 (1993). 审核人:G.薄荷 MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},莱克特。注释计算。科学。713、62(1993;Zbl 0796.03015)
薄荷,G。 Gentzen类型系统和解析规则。二: 谓词逻辑。 (英语) Zbl 0796.03014号 Oikkonen,Juha Markku Robert(编辑)等人,《90年逻辑学术讨论会》。1990年7月15日至7月22日在芬兰赫尔辛基举行的ASL夏季会议。柏林:施普林格出版社。莱克特。注释日志。163-190年(1993年)。 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 03B10号机组 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖},莱克特。注释日志。2163-190(1993年;兹bl 0796.03014)
格里戈里薄荷 一阶线性逻辑的分解演算。 (英语) Zbl 0793.03006号 J.逻辑语言信息。 2,第1号,59-83(1993). 审核人:G.Mints(斯坦福) MSC公司:03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},J.Logic Lang.Inf.2,No.1,59--83(1993;Zbl 0793.03006) 全文: 内政部
薄荷,G。 直觉命题演算子类的复杂性。 (英语) Zbl 0790.03041号 比特币 32,第1期,64-69页(1992年). 审核人:M.Teruamšvili(第比利斯) MSC公司:2015年3月1日 03B25号 03B20型 65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},BIT 32,编号1,64--69(1992;Zbl 0790.03041) 全文: 内政部
薄荷,G。 模态逻辑简介。 (英语) Zbl 0942.03515号 CSLI课堂讲稿. 30. 加利福尼亚州斯坦福:斯坦福大学,语言与信息研究中心。x、 93页(1992年)。 审核人:博里奇奇(MR 93m:03031) MSC公司:03B45号 03-01 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},模态逻辑简介。加利福尼亚州斯坦福:斯坦福大学,语言与信息研究中心(1992;Zbl 0942.03515)
薄荷,格里高利;Jan M.史密斯。;恩恩·图古 类型——一些声明性语言的理论语义。 (英语) Zbl 1412.68043号 巴兹迪ṇJánis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:Springer-Verlag。莱克特。注释计算。科学。502, 18-32 (1991).MSC公司:68号30 03B70号 68甲15 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}等人,Lect。注释计算。科学。50218--32(1991年;Zbl 1412.68043) 全文: 内政部
薄荷,G。;E.图古。 编程系统PRIZ。 (英语) Zbl 1412.68044号 巴兹迪ṇJánis(编辑)等人,波罗的海计算机科学。精选论文。柏林等:Springer-Verlag。莱克特。注释计算。科学。502, 1-17 (1991).MSC公司:68号30 03B70号 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints}和\textit{E.Tyugu},Lect。注释计算。科学。502、1-17(1991年;Zbl 1412.68044) 全文: 内政部
格里戈里薄荷;塔内尔·塔米特 关联逻辑的浓缩分离是完全的:计算机辅助证明。 (英语) Zbl 0751.03011号 J.汽车。推理 7,第4期,587-596(1991). 审核人:G.Mints(斯坦福) MSC公司:03B47号 03B35型 68吨15 03-04 PDF格式BibTeX公司 XML格式引用 \textit{G.薄荷糖}和\textit{T.塔米特},J.Autom。推理7,No.4,587--596(1991;Zbl 0751.03011) 全文: 内政部
格里戈里吉造币厂 谓词演算的一个强化范式定理。 (俄语。英文摘要) Zbl 0725.03036号 伊兹夫。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料。 39,第4期,313-324(1990). 审核人:N.两者(Cluj-Napoca) MSC公司:05年3月 30楼03号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \文本{G.薄荷},Izv。阿卡德。诺克街。SSR、Fiz.、。,材料39,编号4,313--324(1990;Zbl 0725.03036)
薄荷,格里戈里 具有选择原则的直觉系统的规范化定理。 (英语) Zbl 0772.03027号 数理逻辑,程序。夏季计划。Conf.Ded公司。第90届安尼夫。Arend Heyting,柴卡/巴尔格。1988, 59-66 (1990). 审核人:G.Kreisel(牛津) MSC公司:05年3月 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},in:数学逻辑。1988年9月13日至23日,在保加利亚柴卡举行的阿伦德·海廷(1898-1980)九十周年暑期学校和会议记录。纽约:Plenum出版社。59-66(1990年;Zbl 0772.03027)
薄荷,G。 Gentzen型系统和解析规则。一: 命题逻辑。 (英语) Zbl 0739.03011号 科罗格-88,Proc。国际会议,塔林/苏联1988年,法律。不是。计算。科学。417, 198-231 (1990). 审核人:H.J.Ohlbach(萨尔布吕肯) MSC公司:03B35型 05年3月 03B05号 03B20型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},in:关于双闭范畴中完全一致的条件:证明理论的一个新应用。198--231(1990年;Zbl 0739.03011)
薄荷,G.E。 可证明可实现性的完整性。 (英语) Zbl 0704.03004号 圣母院J.形式逻辑 30,第3期,420-441(1989). 审核人:谢尔盖·阿特莫夫(莫斯科) MSC公司:03B20型 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints},圣母院J.形式逻辑30,No.3,420--441(1989;Zbl 0704.03004) 全文: 内政部
薄荷,G。 遗传有限集的Epsilon替换方法。 (俄语。英文摘要) Zbl 0677.03040号 伊兹夫。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料。 38,第2期,154-164(1989). 审核人:博里奇 MSC公司:20层03 03B30型 03月20日 PDF格式BibTeX公司 XML格式引用 \文本{G.薄荷},Izv。阿卡德。诺克街。SSR、Fiz.、。,材料38,编号2,154--164(1989;Zbl 0677.03040)
薄荷,G。 模态逻辑的分辨率计算。 (英语。俄文原件) Zbl 0671.03007号 翻译。,序列号。2,美国数学。Soc公司。 143, 1-14 (1989); Izv的翻译。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料35,279-290(1986)。MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Mints},翻译。,序列号。2,美国数学。Soc.143,1-14(1989;Zbl 0671.03007);Izv的翻译。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料35、279--290(1986) 全文: 内政部
欧文·恩格尔 [薄荷,G.E。] 初等数学的元数学。(Metamatematika ehlementarnoj matematiki)。Transl.公司。来自德国,带有G.E.Mints的前言。 (俄语) 兹比尔0662.03002 莫斯科:和平号。128 p.R.0.50(1987年)。MSC公司:03-02 03C10号机组 03E25型 03E50型 03B40型 PDF格式BibTeX公司 XML格式
薄荷,G.E。 逻辑编程的某些形式系统。 (俄语。英文摘要) Zbl 0648.68102号 Kibernetika岛 第6期第23期,97-98页(1987年).MSC公司:68吨15 03B35型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.E.造币厂},Kibernetika 23,No.6,97--98(1987;Zbl 0648.68102)
薄荷,G。 模态逻辑解析的计算。 (俄语。英文摘要) Zbl 0632.03012号 伊兹夫。阿卡德。Nauk Ehst公司。SSR、Fiz.、。,材料。 35, 279-290 (1986). 审核人:P.马特拉纳 MSC公司:03B35型 03B45号 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{G.薄荷},Izv。阿卡德。诺克街。SSR、Fiz.、。,材料35279-290(1986年;Zbl 0632.03012)
Minc,G.E.(通用电气公司)。 证明理论变换的应用(摘要)。 (英语) Zbl 0619.03036号 科学的逻辑、方法论和哲学VII,Proc。第七届国际会议。,萨尔茨堡1983年,《发现逻辑研究》。数学。114, 95-98 (1986). 审核人:H.Pfeiffer先生 MSC公司:05年3月 03-02 03楼55 2010年1月3日 03B45号 18日第15天 18甲15 68号01 PDF格式BibTeX公司 XML格式
薄荷,G.E。 非经典逻辑的解析计算。 (俄语) Zbl 0632.03011号 Semiotika信息。 25, 120-135 (1985). 审核人:帕内克 MSC公司:03B35型 03B45号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints},Semiotika Inf.25,120--135(1985;Zbl 0632.03011)
薄荷,G.E。;英国图古。 乌托邦语言中的描述语义和自动程序合成。 (英语。俄文原件) Zbl 0617.68016号 程序。计算。软件 11, 251-258 (1985); 译自Programmirovanie 1985,No.5,3-11(1985)。MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Mints}和\textit{E.K.Tyugu},程序。计算。柔和。11、251--258(1985;Zbl 0617.68016);翻译自Programmirovanie 1985,No.5,3--11(1985)
薄荷,G。 具有独立子问题和模态逻辑S4的结构综合。 (俄语。英文摘要) Zbl 0589.68027号 伊兹夫。阿卡德。Nauk Ehst公司。SSR,Fiz公司。材料。 33, 147-151 (1984). 审核人:P.马特拉纳 MSC公司:68问题65 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{G.薄荷},Izv。阿卡德。诺克街。SSR、Fiz.、。,材料33、147--151(1984;Zbl 0589.68027)
约格·西克曼(编辑);格雷厄姆·怀特森(编辑) [沃斯,L。;亨森,L。;R.W.宾克利。;克拉克·R·L·。;S.Yu,马斯洛夫。;斯莱格尔,J.R。;罗宾逊,G.A。;D.F.卡森。;莎拉,L。;安德鲁斯,P.B。;D.W.洛夫兰。;罗宾逊,J.A。;德布鲁因,N.G。;警卫,J.R。;F.C.奥格尔斯比。;J.H.贝内特。;定居,L.G。;科瓦尔斯基,R。;P.J.海耶斯。;莫里斯,J.B。;D.普拉维茨。;R.安德森。;布莱索,W.W。;Chang,C.L。;科努特,D.E。;本迪克斯,P.B。;J.艾伦。;D.勒克姆。;谢金,G.S。;达维多夫,G.V。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;A.O.斯利森科。;D.奎纳。] 推理自动化。2:1967年至1970年关于计算逻辑的经典论文。 (英语) Zbl 0567.03002号 符号计算。人工智能。柏林等:斯普林格-弗拉格。十二、 第637页,108.00德国马克(1983年)。 审核人:北柯蒂安努 MSC公司:03-06 68-06 03B35型 68吨15 01A75号 PDF格式BibTeX公司 XML格式
约格·西克曼(编辑);格雷厄姆·怀特森(编辑) [M.戴维斯。;S.Yu,马斯洛夫。;薄荷,G.E。;奥列夫科夫(V.P.Orevkov)。;J.C.肖。;纽厄尔,A。;西蒙,H.A。;A.罗宾逊。;E.W.贝思。;邓纳姆,B。;弗里德沙尔,R。;斯瓦德,G.L。;H·盖伦特。;H.普特南。;J.A.汉森。;D.W.洛夫兰。;吉尔摩,P.C。;D.普拉维茨。;H·普拉维茨。;北卡罗来纳州沃格拉。;Wang,H。;G·洛格曼。;北,J.H。;J.弗里德曼。;康格,S。;罗宾逊,J.A。;沃斯,L.T。;D.F.卡森。;罗宾逊,G.A。;北卡罗来纳州沙宁。;达维多夫,G.V。;A.O.斯利森科。;熔融器,B。] 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 (英语) Zbl 0567.03001号 符号计算。人工智能。柏林等:斯普林格-弗拉格。XII、 525页DM 98.00(1983年)。 审核人:北柯蒂安努 MSC公司:03-06 68-06 03B35型 68吨15 01A75号 PDF格式BibTeX公司 XML格式
沃洛兹,B.B。;马茨金,M.B。;薄荷,G.E。;丘古,Eh.Kh。 PRIZ系统和命题演算。 (英语。俄文原件) Zbl 0533.68072号 控制论 1777-788年(1983年); 译自Kibernetika 1982,No.6,63-70(1982)。MSC公司:68吨15 03楼55 03-04 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{B.B.Volozh}等人,《控制论》18,777--788(1983;Zbl 0533.68072);译自Kibernetika 1982,No.6,63-70(1982) 全文: 内政部
Minc,G.E.(通用电气公司)。 规范树的通用性。 (英语。俄文原件) 兹伯利03910.03025 苏联。数学。,多克。 17, 527-532 (1976); Dokl翻译。阿卡德。Nauk SSSR 227808-811(1976)。MSC公司:2015年1月3日 03F99型 03D99号 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},苏联。数学。,多克。17、527--532(1976;Zbl 0391.03025);Dokl翻译。阿卡德。诺克SSSR 227,808--811(1976)
Minc,G.E.(通用电气公司)。 相关逻辑的切割消除定理。 (英语) Zbl 0379.02011 J.索夫。数学。 6, 422-428 (1976).MSC公司:03F99型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},J.Sov。数学。6、422--428(1976;Zbl 0379.02011) 全文: 内政部
Minc,G.E.(通用电气公司)。 无限导数的有限研究。 (俄语) Zbl 0341.02020号 扎普。诺什。塞米恩。列宁格。其他日期。Mat.Inst.Steklova公司 49, 67-122 (1975).MSC公司:03F99型 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},扎普。诺什。塞米恩。列宁格。其他日期。材料研究所Steklova 49,67-122(1975;Zbl 0341.02020) 全文: 欧洲DML
薄荷,G.E。 使用\(\varepsilon\)-符号进行谓词演算。 (俄语) Zbl 0358.02023号 扎普。诺什。塞米恩。列宁格。其他日期。Mat.Inst.Steklova公司 40, 101-109 (1974). 审核人:G.E.造币厂(列宁格勒) MSC公司:03B55型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖},扎普。诺什。塞米恩。列宁格。其他日期。材料研究所Steklova 40,101--109(1974;Zbl 0358.02023) 全文: 欧洲DML
Minc,G.E.(通用电气公司)。 直觉计算中的斯科勒姆方法。 (英语) Zbl 0286.02030号 程序。Steklov Inst.数学。 121(1972年)、73-109(1974年).MSC公司:03B55型 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},程序。Steklov Inst.数学。121,73-109(1974年;兹bl 0286.02030)
Minc,G.E.(通用电气公司)。 关联逻辑的截消定理。 (俄语) Zbl 0374.02017 扎普。诺什。塞米恩。列宁格。其他日期。Mat.Inst.Steklova公司 32, 90-97 (1973).MSC公司:03F99型 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},扎普。诺什。塞米恩。列宁格。其他日期。材料研究所Steklova 32,90-97(1973;Zbl 0374.02017) 全文: 欧洲DML
薄荷,G.E。 可接受规则的可导出性。 (俄语) Zbl 0358.02031号 扎普。诺什。塞米恩。列宁格。其他日期。Mat.Inst.Steklova公司 32, 85-89 (1973). 审核人:G.E.造币厂(列宁格勒) MSC公司:03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖},扎普。诺什。塞米恩。列宁格。其他日期。材料研究所Steklova 32,85-89(1973;Zbl 0358.02031)
Minc,G.E.(通用电气公司)。 直觉主义Kalkülen中的Skolems方法。 (俄语) Zbl 0282.02007 Tr.Mat.Inst.Steklova公司 121, 67-99 (1972).MSC公司:03B55型 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},Tr.Mat.Inst.Steklova 121,67-99(1972;Zbl 0282.02007)
薄荷,G.E。 关于模态逻辑的语义。 (英语) Zbl 0231.02022号 塞米恩。数学。,V.A.Steklov数学。列宁格勒学院16(1969),74-76(1971)。MSC公司:03B45号 PDF格式BibTeX公司 XML格式
Minc,G.E.(通用电气公司)。 关于模态逻辑的一些演算。 (英语) Zbl 0208.01102号 程序。Steklov Inst.数学。 98, 97-124 (1968).MSC公司:03B45号 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Minc},程序。Steklov Inst.数学。98、97——124(1968年;Zbl 0208.01102)
薄荷,G.E。 一类不含量词负出现的公式在LJ中的可演绎性问题的可解性。 (英语) Zbl 0208.01101号 程序。Steklov Inst.数学。 98, 135-145 (1968).MSC公司:03B20型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖},程序。Steklov Inst.数学。98、135——145(1968年;Zbl 0208.01101)
薄荷,G.E。 关于保守逻辑推论的构造。 (英语) 兹比尔0208.01003 程序。Steklov Inst.数学。 98, 125-134 (1968).MSC公司:03B20型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.E.薄荷糖},程序。Steklov Inst.数学。98、125——134(1968年;Zbl 0208.01003)
薄荷,G.E。 可接受和衍生规则。 (英语。俄文原件) Zbl 0207.00401号 塞米恩。数学。,V.A.Steklov数学。列宁格勒学院8,90-91(1968);Zap的翻译。诺什。塞米恩。列宁格。其他日期。Mat.Inst.Steklov 8,189-191(1968)。MSC公司:03B05号 03B10号机组 03B20型 PDF格式BibTeX公司 XML格式
薄荷,G.E。 LJ演算的选言解释。 (英语。俄文原件) Zbl 0205.00406号 塞米恩。数学。,V.A.Steklov数学。列宁格勒学院8,86-89(1968);Zap的翻译。诺什。塞米恩。列宁格勒。,其他日期。Mat.Inst.Steklov 8,182-188(1968)。MSC公司:03B20型 PDF格式BibTeX公司 XML格式
薄荷,G.E。 自然演算假设的独立性。 (俄语。英语翻译) Zbl 0205.00403号 扎普。诺什。塞米恩。列宁格勒。,其他日期。Mat.Inst.Steklov 8192-195(1968);塞米语翻译。数学。,V.A.Steklov数学。列宁格勒大学,第8期,92-94页(1968年)。MSC公司:03B22号 PDF格式BibTeX公司 XML格式 全文: 欧洲DML