穆罕默德·阿德谢尔;莫伊塔赫迪、莫伊塔巴 (mathsf{HA})的\(\Sigma_1\)-可证明逻辑。 (英语) Zbl 1426.03039号 Ann.纯粹应用。逻辑 169,第10号,997-1043(2018). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03层45 03B45号 03英尺50英寸 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Ardeshir}和\textit{M.Mojtahedi},Ann.Pure Appl。逻辑169,No.10,997--1043(2018;Zbl 1426.03039) 全文: DOI程序 arXiv公司
迈克尔·拉特扬 相对序数分析:幂Kripke-Platek集理论的例子。 (英语) Zbl 1348.03055号 Ann.纯粹应用。逻辑 165,第1号,316-339(2014).MSC公司:2015年1月3日 03财年03 05年3月 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen},Ann.纯粹应用。逻辑165,No.1,316--339(2014;Zbl 1348.03055) 全文: DOI程序
彼得·辛图拉;乔治·梅特卡夫 直觉主义逻辑含意否定片断中的可容许规则。 (英语) Zbl 1225.03011号 Ann.纯粹应用。逻辑 162,第2期,162-171(2010).MSC公司:03B20型 03B22号 03B55号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cintula}和\textit{G.Metcalfe},Ann.Pure Appl。逻辑162,No.2,162--171(2010;Zbl 1225.03011) 全文: DOI程序
列夫·贝克莱米舍夫。 可证明逻辑GLP的Kripke语义。 (英语) Zbl 1223.03046号 Ann.纯粹应用。逻辑 161,第6期,756-774(2010).MSC公司:03层45 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Beklemishev},Ann.纯粹应用。逻辑161,No.6,756--774(2010;Zbl 1223.03046) 全文: DOI程序
J.M.达沃伦。 直觉模态逻辑和时态逻辑及其经典伴随逻辑:拓扑语义和互模拟。 (英语) Zbl 1221.03019号 Ann.纯粹应用。逻辑 161,第3期,349-367(2009).MSC公司:03B45号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Davoren},Ann.《纯粹的应用》。逻辑161,No.3,349--367(2009;Zbl 1221.03019) 全文: DOI程序
乔治·贾帕里泽 命题层次上可计算逻辑的直观片段。 (英语) Zbl 1143.03014号 Ann.纯粹应用。逻辑 147,第3期,187-227(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03B70号 03B20型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},Ann.《纯粹的应用》。逻辑147,No.3,187--227(2007;Zbl 1143.03014) 全文: DOI程序 arXiv公司
配件,梅尔文 语义上的证明逻辑。 (英语) Zbl 1066.03059号 Ann.纯粹应用。逻辑 132,第1期,1-25页(2005). 审核人:Osamu Sonobe(卵泡) MSC公司:03层45 03B45号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Ann.纯应用。逻辑132,编号1,1-25(2005;Zbl 1066.03059) 全文: DOI程序
配件,梅尔文 一阶内涵逻辑。 (英语) Zbl 1061.03024号 Ann.纯粹应用。逻辑 127,第1-3号,171-193(2004). 审核人:Pavel Materna(普拉哈) MSC公司:03B45号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Ann.纯应用。逻辑127,No.1--3,171--193(2004;Zbl 1061.03024) 全文: DOI程序
蒂莫西·卡尔森。 基本相似模式。 (英语) Zbl 1009.03026号 Ann.纯粹应用。逻辑 108,第1-3、19-77号(2001年). 审核人:安东·塞泽尔(斯旺西) MSC公司:2015年1月3日 03E02号 03E45型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{T.J.Carlson},Ann.《纯粹的应用》。逻辑108,编号1--3,19-77(2001;Zbl 1009.03026) 全文: DOI程序
詹姆斯·利普顿;迈克尔·奥唐纳。 构造逻辑的可实现性语义背后的一些直觉:Tableaux和Läuchli反模型。 (英语) Zbl 0882.03056号 Ann.纯粹应用。逻辑 81,编号1-3,187-239(1996). 审核人:W.Veldman(奈梅亨) MSC公司:03英尺50英寸 PDF格式BibTeX公司 XML格式引用 \textit{J.Lipton}和\textit{M.J.O'Donnell},Ann.Pure Appl。逻辑81,No.1--3,187--239(1996;Zbl 0882.03056) 全文: DOI程序
列夫·贝克莱米舍夫。 关于可证明性的双峰逻辑。 (英语) Zbl 0814.03010号 Ann.纯粹应用。逻辑 68,第2期,115-159(1994). 审核人:钱磊(南京) MSC公司:03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.D.Beklemishev},Ann.纯粹应用。逻辑68,No.2,115--159(1994;Zbl 0814.03010) 全文: DOI程序
谢尔盖·阿特莫夫 证明的逻辑。 (英语) Zbl 0796.03029号 Ann.纯粹应用。逻辑 67,编号1-3,29-59(1994).MSC公司:03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{S.Artömov},Ann.《纯粹的应用》。逻辑67,编号1--3,29-59(1994;Zbl 0796.03029) 全文: DOI程序
康斯坦丁·伊格纳提耶夫。 (Sigma_1)-可插值性的可证明逻辑。 (英语) Zbl 0802.03014号 Ann.纯粹应用。逻辑 64,第1期,第1-25页(1993年). 审核人:V.V.Rybakov(克拉斯诺亚尔斯克) MSC公司:03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Ignatiev},Ann.《纯粹的应用》。逻辑64,No.1,1--25(1993;Zbl 0802.03014) 全文: DOI程序
斯科沃尔佐夫,D.P。;谢赫特曼,V.B。 模态谓词逻辑和超直觉谓词逻辑的最大克里普克类型语义。 (英语) Zbl 0794.03028号 Ann.纯粹应用。逻辑 63,第1期,69-101(1993). 审核人:O.Sonobe(福洛妮卡) MSC公司:03B45号 03B55号 03C90号 03C30号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Skvortsov}和\textit{V.B.Shekhtman},Ann.Pure Appl。逻辑63,No.1,69--101(1993;Zbl 0794.03028) 全文: DOI程序
约翰·米切尔(John C.Mitchell)。;尤金尼奥·莫吉 用于类型lambda演算的Kripke样式模型。 (英语) Zbl 0728.03011号 Ann.纯粹应用。逻辑 51,编号1-2,99-124(1991). 审核人:T.Hikita(川崎) MSC公司:03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}和\textit{E.Moggi},Ann.Pure Appl。逻辑51,编号1--2,99-124(1991;Zbl 0728.03011) 全文: DOI程序
杜明达·威杰塞克拉 构造模态逻辑。一、。 (英语) Zbl 0714.03016号 Ann.纯粹应用。逻辑 50,第3期,271-301(1990). 审核人:G.薄荷 MSC公司:03B45号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{D.Wijesekera},Ann.纯苹果。逻辑50,No.3,271--301(1990;Zbl 0714.03016) 全文: DOI程序
乔瓦尼·桑宾;弗吉尼亚州瓦卡罗 模态逻辑中的拓扑和对偶。 (英语) Zbl 0643.03014号 Ann.纯粹应用。逻辑 37,第3期,249-296(1988). 审核人:P.班克斯顿 MSC公司:03B45号 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Sambin}和\textit{V.Vaccaro},Ann.Pure Appl。逻辑37,No.3,249--296(1988;Zbl 0643.03014) 全文: DOI程序