华盛顿州波哥泽尔斯基。;斯拉佩基，J。 基于非经典逻辑的演绎系统的基本性质。第一、二部分。 （波兰语） Zbl 0129.25602号 螺柱日志。 9, 163-170, 174-176 (1960); 同上，10，77-91，94-95（1960年）。 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于8文件 关键词：数学逻辑 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Pogorzelski}和\textit{J.Slupecki}，Stud.Log。9、163-170（1960年；Zbl 0129.25602） 全文： 内政部 参考文献： [1] A.Church：《数理逻辑导论》，第一部分，“数学研究年鉴”，第13期，普林斯顿大学，1944年·Zbl 0060.02007号 [2] K·哥德尔：《直觉主义解读》。Ergebnisse eines mathematischen Kolloquiums，IV（1933）·Zbl 0007.19303号 [3] E.I.Lemmon、C.A.Meredith、D.Meredith和A.N.Prior、I.Thomas:《纯粹严格蕴涵的演算》，坎特伯雷大学学院哲学系，新西兰基督城，1957年。 [4] S.Le she niewski:Grundzüge eines neuen Systems der Grundlagen der Mathematik，《数学基础》，14（1929）。 [5] J.Łukasiewicz:《Die Logik und das Grundlagen problem》，《苏黎世基金会与数学科学方法》，1938年12月8日至9日，苏黎世。 [6] J.Słupecki：Der volle dreivertige Aussagenkalkül，《社会科学与瓦尔索维通讯》，第二十九期，1936 cl.III。 [7] J.Słupecki：Ru ber die Regeln des Aussagenkalküls，《逻辑研究》，汤姆一世，1953年。 [8] A.Tarski：《基础教学法》（Fundamental Begrife der Methodologie der deductiven Wissenschaften），《数学与物理修道院》（Monatsheft für Mathematik und Physik），第三十七乐团，莱比锡，1930年。 [9] A.Tarski：《元数学基础》，《社会科学与Varsovie文献汇编》，第23卷，1930年，第三类。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。