于俊华 Brouwer-Heyting-Kolmogorov语义的自指涉性。 (英语) Zbl 1348.03012号 Ann.纯粹应用。逻辑 165,第1期,371-388(2014).MSC公司:03B20型 03B45号 03层45 PDF格式BibTeX公司 XML格式引用 \textit{J.Yu},Ann.《纯粹的应用》。逻辑165,No.1,371--388(2014;Zbl 1348.03012) 全文: 内政部
谢尔盖·斯拉夫诺夫 用隐函数建模线性逻辑。 (英语) Zbl 1345.03113号 Ann.纯粹应用。逻辑 165,第1期,357-370(2014).MSC公司:第03页 03G30型 58A40型 58立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Slavnov},Ann.纯应用。逻辑165,No.1,357--370(2014;Zbl 1345.03113) 全文: 内政部
尤里·萨瓦泰耶夫 经典逻辑广义Frege系统的证明内化。 (英语) Zbl 1325.03021号 Ann.纯粹应用。逻辑 165,第1号,340-356(2014). 审核人:安德烈·因德泽扎克(Andrzej Indrzejczak) MSC公司:03B45号 07年3月 03层45 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Y.Savateev},Ann.纯苹果。逻辑165,No.1,340--356(2014;Zbl 1325.03021) 全文: 内政部
迈克尔·拉特扬 相对序数分析:幂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) 全文: 内政部
Robert S.Milnikel。 不确定理由的逻辑。 (英语) Zbl 1325.03013号 Ann.纯粹应用。逻辑 165,第1号,305-315(2014). 审核人:Max A.Freund(圣何塞) MSC公司:03B42号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.S.Milnikel},Ann.《纯粹的应用》。逻辑165,No.1,305--315(2014;Zbl 1325.03013) 全文: 内政部
乌尔里奇·科伦巴赫;萨法利克、帕沃 分析中的波动、有效可学习性和亚稳态。 (英语) Zbl 1319.03062号 Ann.纯粹应用。逻辑 165,第1期,266-304(2014).MSC公司:2010年1月3日 03层60 47H25个 37A30型 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}和\textit{P.Safarik},Ann.Pure Appl。逻辑165,No.1,266--304(2014;Zbl 1319.03062) 全文: 内政部
杰弗里·凯恩;帕维尔·瑙莫夫 信息流中的对称性。 (英语) Zbl 1408.03009号 Ann.纯粹应用。逻辑 165,编号1,253-265(2014).MSC公司:03B42号 03B70号 20甲15 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kane}和\textit{P.Naumov},Ann.Pure Appl。逻辑165,No.1,253--265(2014;Zbl 1408.03009) 全文: 内政部
乔治·贾帕里泽 竖琴入门。三、。 (英语) Zbl 1303.03089号 Ann.纯粹应用。逻辑 165,第1期,241-252(2014). 审核人:赛义德·萨利希(大不里士) MSC公司:30楼03号 03B70号 03楼50 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{G.Japaridze},Ann.《纯粹的应用》。逻辑165,No.1,241--252(2014;Zbl 1303.03089) 全文: 内政部 arXiv公司
配件,梅尔文 一阶证明逻辑的可能世界语义。 (英语) Zbl 1345.03036号 Ann.纯粹应用。逻辑 165,第1期,225-240(2014).MSC公司:03B45号 03B60号 03层45 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},Ann.纯应用。逻辑165,No.1,225--240(2014;Zbl 1345.03036) 全文: 内政部
沃尔特·迪安;Hidenori Kurokawa 重新审视了知者的悖论。 (英语) Zbl 1348.03057号 Ann.纯粹应用。逻辑 165,第1期,199-224(2014).MSC公司:30楼03号 03B42号 03F40型 03层45 PDF格式BibTeX公司 XML格式引用 \textit{W.Dean}和\textit{H.Kurokawa},Ann.Pure Appl。逻辑165,No.1,199--224(2014;Zbl 1348.03057) 全文: 内政部
罗伯特·康斯特布尔;马克·比克福德 一阶逻辑的直觉完备性。 (英语) Zbl 1345.03114号 Ann.纯粹应用。逻辑 165,第1期,164-198(2014).MSC公司:03楼55 03B20型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{R.Constable}和\textit{M.Bickford},Ann.纯粹应用。逻辑165,No.1,164--198(2014;Zbl 1345.03114) 全文: 内政部 arXiv公司
亚历克斯·布里克;杰弗里·雷梅尔 混合答案集编程。 (英语) Zbl 1344.68041号 Ann.纯粹应用。逻辑 165,第1期,134-163(2014).MSC公司:68N17号 03B70号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Brik}和\textit{J.Remmel},Ann.纯应用。逻辑165,No.1,134--163(2014;Zbl 1344.68041) 全文: 内政部
约翰·范·本特姆;大卫·费尔南德斯·杜克;埃里克·帕奎特 邻域结构中的证据和合理性。 (英语) Zbl 1345.03045号 Ann.纯粹应用。逻辑 165,第1期,106-133(2014).MSC公司:03B45号 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,Ann.Pure Appl。逻辑165,No.1,106--133(2014;Zbl 1345.03045) 全文: 内政部 arXiv公司
列夫·贝克莱米舍夫 一致反射原理的正可证明逻辑。 (英语) Zbl 1322.03041号 Ann.纯粹应用。逻辑 165,第1期,82-105(2014). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03层45 03B45号 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{L.Beklemishev},Ann.纯粹应用。逻辑165,No.1,82--105(2014;Zbl 1322.03041) 全文: 内政部 arXiv公司
亚历山大·巴尔塔格;布莱恩·雷恩;斯梅茨,索尼娅 合理信念、明确知识和确凿证据的逻辑。 (英语) Zbl 1300.03015号 Ann.纯粹应用。逻辑 165,第1期,49-81(2014). 审核人:埃里克·马丁(悉尼) MSC公司:03B42号 68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Baltag}等人,Ann.Pure Appl。逻辑165,No.1,49--81(2014;Zbl 1300.03015) 全文: 内政部
阿诺·阿夫隆 什么是关联逻辑? (英语) Zbl 1325.03022号 Ann.纯粹应用。逻辑 165,第1期,26-48(2014). 审核人:杰玛·罗伯斯(莱昂) MSC公司:03B47号 03B22号 03B53号 第03页 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},Ann.纯苹果。逻辑165,No.1,26-48(2014;Zbl 1325.03022) 全文: 内政部
谢尔盖·阿特莫夫;罗马库兹涅茨 逻辑全知是不可行的。 (英语) Zbl 1510.03012号 Ann.纯粹应用。逻辑 165,第1期,6-25(2014).MSC公司:03B42号 03B45号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}和\textit{R.Kuznets},Ann.Pure Appl。逻辑165,No.1,6--25(2014;Zbl 1510.03012) 全文: 内政部
尼禄,阿尼尔;配件,梅尔文 谢尔盖·阿特莫夫的生活和工作。 (英语) Zbl 1347.01014号 Ann.纯粹应用。逻辑 165,第1期,第3-5期(2014年).MSC公司:01A70号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}和\textit{M.Fitting},Ann.Pure Appl。逻辑165,编号1,3--5(2014;Zbl 1347.01014) 全文: 内政部
美国科伦巴赫。(编辑) 编辑。 (英语) 1280.00088兹罗提 Ann.纯粹应用。逻辑 165,编号1,1-2(2014).MSC公司:00B25型 00B15号机组 03-06 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach}(编辑),Ann.Pure Appl。逻辑165,No.1,1--2(2014;Zbl 1280.00088) 全文: 内政部