×
乌苏拉州Wybraniec-Skardowska；贾塞克·沃尔德马赫

关于双结果运算。 （英语） Zbl 1264.03038号

日志。通用。 177-203年第2期第5期（2011年）.
摘要：在本文中，作者讨论了两种公理化特征的结果运算。第一种是（Cn^+）类型的结果运算，在直观意义上，它是绝对正确的运算，总是从演绎系统的公认（真）句子引导到演绎系统的认可（真）语句（参见[A.塔斯基莫纳什。数学。物理学。37361–404（1930年；JFM 56.0046.02公司); C.R.Soc.Sc.Varsovie，第23、22–29页（1930年；JFM 57.1318.03标准);W.A.波哥泽尔斯基和J.Słupecki公司，螺柱日志。9163-170174-176（1960年）；同上10、77–91、94–95（1960年；Zbl 0129.25602号)]). 第二类是（Cn^-\）类型的双重结果运算，它可以被视为反错误运算，从演绎系统的不可接受（拒绝，错误）句子到系统的不接受（拒绝、错误）句子（参见[J.Słupecki公司，“TheŁukasiewicz function”（波兰语），Zesz。恶心。唯一。Wrocł。，序列号。B、 材料Fiz。阿童木。二、 33-40（1959年）；作者，“被拒绝命题的理论”（波兰语），Zesz。恶心。怀俄明州。瑞典。教育学。塞尔·奥波洛。B、 单螺杆。22, 5–131 (1969); “Jerzy Słupecki对亚里士多德三段论的研究及其在当代逻辑中的反应”（波兰语），Zesz。恶心。怀俄明州。瑞典。教育学。Opolu，Mat.4（81），35-61（1983）；Ann.纯粹应用。《逻辑127》，第1–3期，第243–266页（2004年；Zbl 1060.03028号); “关于被拒绝命题的概念和功能”，《学报》，Wratislav。2754，日志。23, 179–202 (2005)]). 类型\（Cn^+\）和\（Cn ^-\）的运算可以是普通的有限结果运算或单位结果运算。演绎系统可以通过以下三元组以两种方式进行表征：\[\以｛aligned｝\text｛按三元组开始：｝&&quad（+，-）\quad\langle S，Cn^+，Cn^-\rangle\\\\text｛或按三元组开始：｝&&quad（-，+）\quad\langle S，Cn^-，Cn^+\rangle。\结束{对齐}\]我们比较了（Cn^+）和（Cn_-）类型运算的公理系统，给出了用这些运算定义的演绎系统的一些方法论性质（例如，在乌卡西维茨意义下的一致性、完备性、可判定性），并给出了有关它们的不同元定理。

引用于7文件

MSC公司：

03年2月22日 抽象演绎系统

关键词：

演绎系统理论公理系统；后果操作；单元后果操作；拒绝后果操作；双重后果操作；断言的系统；反驳制度

引文：

Zbl 0129.25602号；Zbl 1060.03028号；JFM 56.0046.02公司；JFM 57.1318.03标准
PDF格式BibTeX公司 XML格式引用
\textit{U.Wybraniec-Skardowska}和\textit{J.Waldmajer}，Log。Univers大学。5，第2号，177--203（2011；Zbl 1264.03038）
全文： 内政部
OA许可证

参考文献：

[1] Bonikowski Z.（2010）近似空间中的单位运算。收录人：Szczuka M.、Kryszkiewicz M.、Ramanna S.、Jensen R.（编辑）。粗糙集与LNAI计算的当前趋势，第6086卷。柏林施普林格，第337-346页
[2] Bonikowski，Z.，Wybraniec-Skardowska，U.：某些集合理论运算的推广。收录人：Beziau，J.-Y.，Caleiro，C.，Costa-Leite，A.，Ramos，J.（编辑）UniLog 2010，《抽象书》，世界大会和普适逻辑学校（第三版），2010年4月18日至25日，葡萄牙蒙特埃斯托里尔。高级技术研究所，马特马提卡省，第59页（2010年）·Zbl 0934.03069号
[3] Borkowski，L.：逻辑形式。PWN，Warszawa（1970）（英语翻译：形式逻辑，Akademie-Verlag，柏林（1977））
[4] Bryll，G.：Kilka uzupełnieñteorii zdanóodrzuconych（拒绝命题理论的一些补充）。收文：[45]，133-154（1969）
[5] Bryll，G.:Zwiazki logiczne pomiȩdzy zdaniami nauk empirycznych（经验科学句子之间的逻辑关系）。收入：[45]，155–216（1969）
[6] Bryll，G.：Metody odrzucania wyra zen（拒绝表达的方法）。问题Współczesnej Nauki。扎斯托索瓦尼亚特奥里亚。Informatyka公司。Akademicka Oficyna Wydawnicza PLJ，华沙（1996）
[7] 库拉托夫斯基K.：《苏尔“行动”分析》（Surl‘operationĀdel’analysys situs）。芬丹。数学。3182-199（1922年）
[8] Łukasiewicz，J.：Logika dwuwarto shi ciowa（二值逻辑），Przeglow Filozoficzny 23，189–205（1921）（英语翻译：二值逻辑。In:[13]，89–109（1970））
[9] Łukasiewicz，J.：O sylogistyce Arystotelesa（论亚里士多德的三段论）。Sprawozdania z Czynno she ci i Posiedzen en Polskiej Akademii Umiejȩtno she ci44（1939）。（转载于：Z ZagadnieñLogiki i Filozofii。Pisma Wybrane（逻辑和哲学问题。论文选集（J.Słupecki（编辑）），PWN，华沙，220-227（1961）
[10] Łukasiewicz，J.：从现代形式逻辑的角度看亚里士多德的Syllost。牛津大学出版社，牛津（1951）（1955年第二版）·Zbl 0043.24601号
[11] Łukasiewicz J.：关于直觉主义演绎理论。Indagations数学。序列号。A 3202-212（1952年）·Zbl 0048.00401号
[12] Łukasiewicz，J.：模态逻辑系统。J.计算。系统。1（3），111–149（1953）（重印于[13]，352–360（1970））·Zbl 0052.01003号
[13] Łukasiewicz，J.：作品选集（L.Borkowski，Ed.）。荷兰出版公司，阿姆斯特丹（1970）·Zbl 0212.00902号
[14] Pogorzelski W.A.，Słupecki J.：Podstawowe W \322»as no-si-ci systemóW deduccyjnych opartych na nieklasynych logikach（基于非经典逻辑的演绎系统的基本属性），第一部分：研究逻辑。9, 163–176 (1960) ·Zbl 0129.25602号 ·doi:10.1007/BF02548472
[15] Pogorzelski W.A.，Słupecki J.：Podstawowe W \322'as no-si-ci systemóW deduccyjnych opartych na nieklasynych logikach（基于非经典逻辑的演绎系统的基本属性），第二部分。逻辑研究。10, 77–95 (1960) ·doi:10.1007/BF02120405
[16] Pogorzelski，W.A.，Wojtylak，P.：命题逻辑的完备性理论。系列：通用逻辑研究。Birkhäuser Verlag AG，巴塞尔（2008）·Zbl 1143.03001号
[17] Skura T.：直觉主义逻辑的完整句法特征。代表数学。逻辑23，75–80（1989）·Zbl 0809.03007号
[18] Skura T.：某些中间命题逻辑的反驳计算。《圣母院J.形式逻辑》33，552–560（1992）·Zbl 0789.03021号 ·doi:10.1305/ndjfl/1093634486
[19] Skura T.：关于反驳程序的一些结果。Wratislaviensis Logik大学学报。15, 83–95 (1993) ·兹比尔0850.03051
[20] Skura T.：对模态逻辑中有限模型的句法反驳。《圣母院J.形式逻辑》35，573–582（1994）·Zbl 0830.03005号 ·数字对象标识代码：10.1305/ndjfl/1040408614
[21] Skura T.：模态逻辑S5的一个Łukasiewicz风格的反驳系统。J.菲洛斯。逻辑24573–582（1995）·Zbl 0847.03015号 ·doi:10.1007/BF01306967
[22] Skura，T.：S4中的反驳和证明。在：Wansing，H.（编辑）《模态逻辑的证明理论》中。Kluwer，Dordrecht（1996）·兹比尔0867.03008
[23] 斯库拉，T.：直觉主义逻辑和相关模态系统中反驳程序的各个方面。Logika 20（2190）；《Wratislaviensis大学学报》，Wrocław（1999）·Zbl 1025.03009号
[24] Skura T.：反驳理论。日志。Univers大学。3(2), 293–302 (2009) ·Zbl 1255.03024号 ·doi:10.1007/s11787-009-0009-y
[25] Supecki，J.：Z badaánad sylogistyka Arystotelesa（亚里士多德三段论研究）。Prace Wrocławskiego Towarzystwa Naukowego（B）6（1948）
[26] Słupecki，J.：FunkcjaŁukasiewicza（函数）。Seria B.No.3，Zeszyty Naukow Uniwersytetu Wrocławskiego（Wroc aw University出版物），Matematyka-Fizyka-Astronomia II，33-40（1959）
[27] Słupecki J.：Ł-可判定性和可判定性。牛市。第节。逻辑。波兰学院。科学。1(3), 38–43 (1972)
[28] Słupecki J.、Bryll G.、Wybraniec-Skardowska U.：Pewna teoria równowa \.zna teorii systemów deduccyjnych Tarskiego（相当于塔斯基的演绎系统理论的某种理论）、Zeszyty Naukowe Wy \.zszej Szkoly Pedagogicznej w Opolu、Seria A、Matematyka。Logika Matematyczna 10，61–67（1970）
[29] Słupecki J.、Bryll G.、Wybraniec-Skardowska U.：拒绝命题理论。一、研究逻辑。29, 76–123 (1971) ·Zbl 0253.02049号
[30] Słupecki J.，Bryll G.，Wybraniec-Skardowska U.：拒绝命题理论，II。逻辑研究。30, 97–107 (1972) ·Zbl 0282.02021号 ·doi:10.1007/BF02120839
[31] Sochacki，R.：Metody depuracyjne w badaniach nad systemami logicznymi（逻辑系统研究中的反驳方法），Wydawnictow Naukowe Uniwerstetu Opolskiego。Studia i Monografie，奥波莱（2010）
[32] 斯帕索夫斯基M.：Cn，Cn，dCn之间的一些联系。牛市。第节。逻辑。波兰学院。科学。2(1), 53–56 (1973)
[33] Tarski，A.：《推论Wissenschaften的方法论基础》。Monatshefte für Mathematik und Physik，第37卷，361–404（1930）（英文翻译：演绎科学方法论的基本概念。In：[35]，60–109（第二版，由John Corcoran编辑和介绍）
[34] Tarski，A.：《元数学的基础》。Comptes Rendus des Sénces De la Sociétédes Sciences et des Lettres De Varsovie（1930）（英文翻译：关于元数学的一些基本概念。In:[35]，30-37）
[35] 塔斯基，A.：逻辑学、语义学、元数学。1923年至1938年的论文。第一版由牛津大学出版社出版，牛津（1956）（J.H.Woodger翻译）。第二版由印第安纳州印第安纳波利斯市哈克特出版公司约翰·科科兰编辑和介绍（1983年）
[36] Woleński J.：关于理论内容的比较。逻辑研究。48(4), 617–622 (1989) ·Zbl 0714.03006号 ·doi:10.1007/BF00370211
[37] Wójcicki R.：后果操作的双重对应物。牛市。第节。逻辑。波兰学院。科学。Wrocław 2（1），54–57（1973）
[38] Wybraniec-Skardowska，U.：O roli dedukcji w naukach empirycznych（论演绎在经验科学中的作用）。斯普拉沃兹达尼亚·沃克（Sprawzdania Wroc），1965年，沃克（Wroc aw），19–20岁
[39] Wybraniec-Skardowska，U.：Teoria zdanáodrzuconych（被拒绝命题的理论）。输入：[45]，5-131
[40] Wybraniec-Skardowska，U.：Badania Jerzego Słupeckigo nad sylogistyka Arystotelesa i ich rezonans we wspóczesnej logice（Jerzy S \322]upecki对亚里士多德的三段论及其在当代逻辑中的反应的研究），Zeszyty Naukowe Wy.zszej Szko y in.zynierskiej w Opolu，Seria:Matematyka 4（81），35-61（1983）
[41] Wybraniec-Skardowska U.：元数学形式化和结果理论公理化的基础。Ann.纯粹应用。逻辑127、243–266（2004）·Zbl 1060.03028号 ·doi:10.1016/j.apal.2003.11.018
[42] Wybraniec-Skardowska U.（1989）关于近似空间的推广。牛市。波兰学院。科学。二十七、 33–48岁·Zbl 0732.03019号
[43] Wybraniec-Skardowska U.：机组运行。Zeszyty Wy \.zszej Szkoy教育学与Opolu。序列号。Matematyka马特马提卡27、113–129（1992）
[44] Wybraniec-Skardowska，U.：关于被拒绝命题的概念和功能。Logika 23（M.Magdziak，J.Zygmunt；编辑）《Wratislaviensis大学学报》，第2754、179-202号（2005）
[45] Wybraniec-Skardowska，U.，Bryll，G.：Z badanna nad teoria zdan odrzuconych（拒绝命题理论研究）。Zeszyty Naukowe Wy \.zszej Szkoły教育学与Opolu，B辑，Monografie研究所，第22卷，Opole（1969）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。