安德烈·维希·涅夫斯基;Guido Vanackere公司;多罗塔·莱斯琴斯卡 苏格拉底式证明与亚一致性:案例研究。 (英语) Zbl 1104.03018号 螺柱日志。 80,编号2-3,431-466(2005).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wi-si-niewski}等人,Stud.Log。80,编号2--3431--466(2005;Zbl 1104.03018) 全文: 内政部
迪米特·瓦卡雷洛夫 尼尔森的否定基于直觉主义否定的较弱版本。 (英语) Zbl 1086.03026号 螺柱日志。 80,编号2-3,393-430(2005).MSC公司:03B60号 03B50号 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},研究日志。80,编号2--3,393--430(2005;Zbl 1086.03026) 全文: 内政部
尼尔·坦南特 收缩直觉主义理论。 (英语) Zbl 1085.03015号 螺柱日志。 80,第2-3号,369-391(2005).MSC公司:03B42号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Tennant},研究日志。80,编号2--3369--391(2005;Zbl 1085.03015) 全文: 内政部
雅罗斯拉夫·什兰科 双重直觉主义逻辑和各种否定:科学研究的逻辑。 (英语) Zbl 1085.03022号 螺柱日志。 80,编号2-3,347-367(2005).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Shramko},螺柱日志。80,编号2--3347--367(2005;Zbl 1085.03022) 全文: 内政部
大卫·皮尔斯;阿古斯汀·瓦尔弗德 构造逻辑的一阶非单调扩张。 (英语) Zbl 1097.03020号 螺柱日志。 80,编号2-3,321-346(2005).MSC公司:03B60号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Pearce}和\textit{A.Valverde},Stud.Log。80,编号2--3,321--346(2005;Zbl 1097.03020) 全文: 内政部
谢尔盖·奥丁佐夫。 Nelson次协调逻辑的扩展类。 (英语) Zbl 1097.03019号 螺柱日志。 80,编号2-3291-320(2005).MSC公司:03B53号 PDF格式BibTeX公司 XML格式引用 \textit{S.P.Odintsov},螺柱日志。80,编号2--3,291--320(2005;Zbl 1097.03019) 全文: 内政部
诺里希罗·卡米德 双值否定的Gentzen型方法。 (英语) Zbl 1086.03025号 螺柱日志。 80,编号2-3,265-289(2005).MSC公司:03B60号 05年3月 03B45号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。80,编号2-3265-289(2005年;兹bl 1086.03025) 全文: 内政部
J.Michael Dunn;周春来 gaggle理论背景下的否定。 (英语) Zbl 1097.03015号 螺柱日志。 80,编号2-3,235-264(2005).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dunn}和\textit{C.Zhou},Stud.Log。80,编号2--3235-264(2005;Zbl 1097.03015) 全文: 内政部
迈克尔·比森;罗伯特·弗罗夫;哇,拉里 某些命题逻辑中的双负消去。 (英语) Zbl 1086.03046号 螺柱日志。 80,编号2-3,195-234(2005).MSC公司:07年3月 03B05号 03B50号 03B20型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Beeson}等人,研究日志。80,编号2--3,195-234(2005;Zbl 1086.03046) 全文: 内政部 arXiv公司
阿诺·阿夫隆 关于非经典否定的非确定性观点。 (英语) Zbl 1086.03023号 螺柱日志。 80,第2-3号,159-194(2005).MSC公司:03B60号 03B20型 03B50号 03B53号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Avron},Stud.Log。80,编号2--3159-194(2005;Zbl 1086.03023) 全文: 内政部