斯坦尼斯劳·雅斯科夫斯基 矛盾演绎系统的命题演算。 （英语） Zbl 0244.0204号 螺柱日志。 24, 143-160 (1969). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于三评论引用于49文件 MSC公司： 03B05号 经典命题逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛S.Jaskowski｝，螺柱日志。24、143-160（1969年；Zbl 0244.02004） 全文： 内政部 参考文献： [1] O.Becker，《物流》杂志。Jahrbuch für Philosophie und Phänominologische Forschung 11（1930），第497-548节。 [2] R.Carnap，模式和量化。熟练工人。Symb的。日志。11（1946）第33–64条·Zbl 0063.00713号 ·doi:10.2307/2268610 [3] L.Chwistek和Granice nauki。Zarys logiki i metodologii nauk she cislych（扎里斯·洛基）。卢沃瓦萨瓦。 [4] D.Hilbert，Die logischen Grundlagen der Mathematik。《数学年鉴》88（1922）·JFM 48.1120.01标准 [5] D.Hilbert、W.Ackermann、Grundzüge der theoretischen Logik。1928年，德国柏林。II柏林1938年·JFM 54.0055.01号 [6] D.Hilbert、P.Bernays、Grundlagen der Mathematik。Bd.I柏林1934年。Bd.II柏林，1939年·Zbl 0009.14501号 [7] S.Ja sh kowski，Zagadnienia logiczne a matematyka公司。My si l Współczesna r.1947，编号7-8（14-15），第57-70条。 [8] S.Ja sh kowski，《Surles变量命题》（Surles variables propositions nelles dépendantes）。Studia Societatis Scientiarum Torunensis，第A卷第2期（1948年）第17–21条。 [9] A.N.Kołmogorow，O principie tertium non-datur。Matematiceskij Sbornik（数学复习）32（1924–25）。 [10] T.Kotarbiñski、Elementy teorii poznania、logiki formalnej i metodologii nauk。卢沃1929年。 [11] C.I.Lewis，C.H.Langford，《符号逻辑》。纽约-朗登1932。 [12] J.Łukasiewicz，O zasadzie sprzeczno shi ci u Arystotelesa。克拉科夫1910年。 [13] J.Łukasiewicz，Elementy logiki matematycznej。Skrypt autoryzowany opracowal公司。M.Presburger Warszawa，1929年。 [14] S.Ossowski，Teoretyczne zadania marksizmu。My si l Współczesna r.1948第1（20）条。第11–12节罗技卡。 [15] 罗素，《数学原理》。剑桥1903年。II怀德。伦敦1937–纽约1938。 [16] J.Słupecki，Dowód aksjomatyzowalno si ci pelnych systemów wielowarto shi ciowych rachunku zdan。Sprawozdania z pos.拖车。恶心。瓦尔兹。32（1939）wydz。三、。 [17] A.Tarski，O logice matematycznej i metodzie deduccyjnej。华沙（1936）。 [18] H.Vaihinger，《Als-Ob哲学》。1911年柏林。 [19] M.Wajsberg，Ein erweiterter Klassenkalkül。莫纳什。数学。物理学。40（1933）第113-126条·Zbl 0007.09803号 ·doi:10.1007/BF01708856 [20] A.N.Whitehead，B.Russell，《数学原理》第1-3卷。II怀德。剑桥1925-1927。 [21] W.Wudel，Powstanie logiki wy \.zszej。My si l Współczesna r.1947第3（10）条第343–367条。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。