J·尤卡西维茨。;阿尔弗雷德·塔斯基 句子演算研究。(Untersuchungenüber den Aussagenkalkül.) (德语) JFM 57.1319.01标准 C.R.Soc.Sc.Varsovie公司 23, 30-50 (1930). Aufsatz von村Hilfe der村的Abhandlung enthält Untersuchungenüber den Aussagenkalkül mit塔斯基(siehe vorstehendes Refreat)entwickelten Grundbegriffe。Es handelt sich um Systeme des Aussagenkalküls,in dem als Verknüpfungen nur Implication und Negation auftreten。Folgende Systeme werden betrachetet:der gewöhnliche(zweiwertige)Aussagenkalkül,das vonŁ乌克兰维奇eingeführte系统(L_n)des mehrwertigen Aussagenkalküls(wobei)eine natürliche Zahl oder(=\aleph_0)ist)und der beschränkte Aussagenbalkü),der aus dem gewöhnlichen dadurch entsteht,daßman alle Formeln fortlät,die das negationszeichein enthalten。Die Erzeugung dieser Systeme wird durchweg nach der Matrizenmethode vorgenommen;gleichzeitig wird immer untersucht,ob sich auch eine axiomatische Basis angeben lät。Das geling natürlich für den gewöhnlichen Aussagenkalkül。更高级的Axiomensysteme sind aber neu and einfacher als Die bisher bekannten。Bei(L_n)Lät sich eine axiomatische Basis angeben,falls(1),während für(L_{aleph_0})die Frage unerledigt bleibt。Für den beschränkten Aussagenkalkül wird das Problem der Axiomatisierbarkeit ebenfalls im positiven Sinne gelöst。Ein weiteres Kapitel beschäftigt sich mit dem erweiterten Aussagenkalkül,der aus dem gewöhnlichen dadurch entsteht,daßund Seinszeichen für Aussagen eingeführt werden。审核人:Ackermann,W.,博士(Burgsteinfurt) 引用于5评论 MSC公司: 03英镑05 经典命题逻辑 JFM部分:茨威特·哈尔班德(Zweiter Halbband)。埃尔斯特·阿布什尼特。Geschichte,《哲学与帕达戈基克》。Kapitel 2。哲学。 PDF格式BibTeX公司 XML格式引用 \textit{J.Łukasiewicz}和\textit{A.Tarski},C.R.社会科学。瓦尔索维,Cl.III 23,30--50(1930;JFM 57.1319.01)