×
乌苏拉州Wybraniec-Skardowska

关于隐含、拒绝和不一致概念的相互定义。 （英语） Zbl 1415.03040号

公理 5，第2号，第15号论文，19页（2016年）.
摘要：本文构造了两个公理化理论（mathbf{T}^-\）和（mathbf{T}'\），这两个理论与塔斯基基于经典命题演算的演绎系统理论（mathbf{T{+\）（1930）是对偶的。在塔斯基的理论中，原始概念是经典的结果函数（蕴涵），而在对偶理论中，它被słupecki的拒绝结果（Cn^-）的概念所取代，在对偶论中，它又被族的概念所代替Incons公司不一致的集合。作者证明了理论（mathbf{T}^+）、（mathbf{T}^-）和（mathbf1{T}'）是等价的。

引用于1文件

MSC公司：

03C07号机组 一阶语言和结构的基本性质
03C40 插值、保存、可定义性

关键词：

演绎系统;牵连;拒绝，拒绝;不一致;塔斯基的后果理论;拒绝理论;不一致理论;理论对等
PDF格式BibTeX公司 XML格式引用
\textit{U.Wybraniec-Skardowska}，《公理5》，第2期，第15号论文，第19页（2016；Zbl 1415.03040）
全文： 内政部
OA许可证

参考文献：

[1] 塔斯基，A。；Wissenschaften的基本方法论；Monatsheft数学。物理：1930; 第37卷，361-404。
[2] 塔斯基，A。；尤伯·埃尼盖·福达门塔尔·贝格里夫·德·梅塔马提克；Comptes Rendus Sénces SocétéSci公司。莱特。变量：1930; 第23卷，22-29页。
[3] 塔斯基，A；逻辑、语义、元数学：1928年至1938年的论文：印第安纳波利斯，印第安纳州，美国1983年。
[4] Wójcicki，R；逻辑演算理论：多德雷赫特，荷兰，1988年·Zbl 0682.03001号
[5] Czelakowski，J；原代数逻辑学：多德雷赫特，荷兰，2001年·Zbl 0984.0302号
[6] 波哥泽尔斯基，W.A。；Wojtylak，P；命题逻辑的完备性理论：巴塞尔，瑞士2008·Zbl 1143.03001号
[7] Wybraniec-Skardowska，美国。；Waldmajer，J。；关于对偶结果运算对；日志。大学：2011年；第5卷，177-203·Zbl 1264.03038号
[8] Łukasiewicz，J。；Logika dwuwarto shi ciowa；Prz公司。菲洛兹：1921; 第23卷，189-205。
[9] Łukasiewicz，J。；O sylogistyce Arystotelesa（论亚里士多德的三段论）。斯普拉沃佐达尼亚z czynno sse ci i posiedzen en Polskiej Akademii Umiejętno she ci（PAU）；波兰技能学院活动和会议记录：。
[10] Łukasiewicz，J；从现代形式逻辑的角度看亚里士多德的三段论：牛津，英国1951·Zbl 0043.24601号
[11] Łukasiewicz，J。；模态逻辑系统；J.计算。系统：1953; 第1卷，111-149·Zbl 0053.00603号
[12] Skura，T；模态命题逻辑中的反驳方法：波兰华沙，2013。
[13] 卡纳普，R；语义学导论：剑桥，马萨诸塞州，美国1942年·Zbl 0061.00708号
[14] 卡纳普，R；逻辑形式化：剑桥，马萨诸塞州，美国1943年·Zbl 0061.00709号
[15] Citkin，A。；推理规则的元逻辑；语法日志。日志。哲学：2015; 第24卷，313-337·Zbl 1375.03015号
[16] Słupecki，J；FunkcjaŁukasiewicza（Łukasiewicz的函数），Zeszyty Naukowe Uniwersytetu Wrocławskiego:1953年，波兰，弗罗茨瓦夫；第3卷，33-40。
[17] 塔斯基，A。；Grundzüge des Systemenkalküls，第一部分；芬丹。数学。：1935; 第25卷，503-526·Zbl 0012.38501号
[18] 塔斯基，A。；Grundzüge des Systemenkalküls，第二部分；芬丹。数学。：1936; 第26卷，283-301·Zbl 0014.38701号
[19] Słupecki，J。；布莱尔，G。；Wybraniec-Skardowska，美国。；拒绝命题理论，第一部分；螺柱日志：1971; 第29卷，76-123·Zbl 0253.02049号
[20] Słupecki，J。；布莱尔，G。；Wybraniec-Skardowska，美国。；拒绝命题理论，第二部分；螺柱日志：1972; 第30卷，97-107·Zbl 0282.02021号
[21] Wybraniec-Skardowska，美国；Teoria Zdan n Odrzuconych（拒绝句理论）；Z Badannad TeoriąZ dan n Odrzuconych（被拒句理论研究）：Opole，波兰，1969年；第2卷，5-131。
[22] Wybraniec-Skardowska，美国。；元数学形式化和结果理论公理化的基础；Ann.纯粹应用。日志：2004; 第127243-266卷·Zbl 1060.03028号
[23] Wybraniec-Skardowska，美国；Wzajemna defininiovalnośćpojÉćwynikania i sprzeczności（关于隐含和不一致概念的相互可定义性）：波兰奥波莱，1974年；第15卷，77-86·Zbl 0305.02064号
[24] 波哥泽尔斯基，W.A。；Słupecki，J。；Podstawowe własno-si-ci systemów dedukcyjnych opartych na nieklasynych logikach（基于非经典逻辑的演绎系统的基本属性），第一部分；螺柱对数：1960; 第9卷，163-176。
[25] Borkowski，L；Logika Formalna公司。Systemy Logiczne，Wstęp do Metalogiki:波兰华沙，1977。
[26] Wybraniec-Skardowska，美国。；布莱尔，G；Z Badańnad TeorińZdańOdrzuconych（拒绝句理论研究）：波兰奥波莱，1969年；第2卷。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。