×
多罗塔·莱斯琴斯卡·贾西翁;马特乌斯·伊格纳扎克;希蒙·克莱博夫斯基

具有切割规则的Rasiowa-Sikorski演绎系统：案例研究。 （英语） Zbl 1494.03068号

螺柱日志。 107，第2期，313-349（2019）.
摘要：本文提出了逻辑的Rasiowa-Sikorski演绎系统（R-S系统）（mathsf{CPL}）、（mathsf{CLuN}）和（mathsf{mbC}）。对于每一个逻辑，都开发了两个系统：一个R-S系统，可以用可容许割规则进行补充；另一个R-S系统的（mathbf{KE}）版本，其中非可容许割法则是唯一的分支规则。这些系统是以一种斯密式统一符号表示的，并根据本文的目的进行了扩展和调整。完全性是通过使用抽象的可反驳性来证明的，这些可反驳性与拟合所使用的一致性是对偶的。还分析了R-S系统中规则的可容许性概念。

MSC公司：

03B53号 准一致逻辑
05年3月 切割消除和正规形定理
03B22号 抽象演绎系统

关键词：

R-S系统;切割规则;次协调逻辑;\（\mathbf{KE}\）tableau系统;推理性爱逻辑
PDF格式BibTeX公司 XML格式引用
\textit{D.Leszczyñska-Jasion}等人，研究日志。107，No.2，313--349（2019；Zbl 1494.03068）
全文： 内政部

参考文献：

[1] Agudelo Agudelo，J.C.，《利用隐变量将非经典逻辑转化为经典逻辑》。Logica Universalis 11（2）：205-2242017年·Zbl 1420.03020号 ·doi:10.1007/s11787-017-0168-1
[2] Batens，D.，准一致外延命题逻辑。逻辑与分析90-91:195-2341980·Zbl 0459.03013号
[3] Batens博士。；Orłowska，E.（编辑），《不一致自适应逻辑》，445-472（1998），柏林·Zbl 0923.03036号
[4] Batens，D.和K.De Clercq，《全正逻辑的丰富次协调扩展》。逻辑与分析185-188:227-2572005·Zbl 1078.03024号
[5] Batens，D.、K.De Clercq和N.Kurtonina，《一些Paralogics的嵌入和插值》。命题案例。数学逻辑报告33:29-441999·Zbl 0954.03031号
[6] Batens，D.和J.Meheus，《不一致自适应逻辑的Tableau方法》。R.Dyckhoff（编辑），《使用分析表和相关方法的自动推理》，《人工智能课堂讲稿》，施普林格，柏林，2000年，第127-142页·Zbl 0963.03007号
[7] Batens，D.和J.Meheus，自适应逻辑表方法中的快捷方式和动态标记。Studia Logica公司69:221-2482001年·Zbl 0991.03013号 ·doi:10.1023/A:1013865807250
[8] Boolos，G.，《不要消除切割》。《哲学逻辑杂志》13（4）：373-3781984·Zbl 0564.03005号 ·doi:10.1007/BF00247711
[9] Caleiro，C.、J.Marcos和M.Volpe，《有限值逻辑的二价语义、广义合成和分析类古典表》。理论计算机科学603:84-1102015·Zbl 1331.03024号 ·doi:10.1016/j.tcs.2015.07.016
[10] 华盛顿州卡尼埃利；科尼格里奥，ME；Guenthner Dov，F.（编辑）；Gabbay，M.（编辑），Coniglio，《形式不一致逻辑》，第14期，第1-93页（2013年），柏林
[11] Carnielli，W.A.和J.Marcos，《\[mathbf的分类》{C} C类\]-系统。在I.M.L.D’Ottaviano、W.A.Carnielli和M.E.Coniglio（编辑），Paraconsistency-The Logical Way to The Inconsistent，Marcel Dekker，2000年，第1-94页·Zbl 1036.03022号
[12] Chlebowski，S.Z.，一阶逻辑的规范演算和对偶演算。波兹南Adam Mickiewicz大学博士论文，2018年。（未出版的手稿，之前被称为“经典逻辑和一些非经典逻辑的苏格拉底证明方法”）。
[13] Chlebowski，S.Z.、A.Gajda和M.Urbaánski，形式不一致最小逻辑的诱拐问答系统mbC。（未出版的手稿）·兹比尔07496500
[14] Chlebowski，S.Z.和D.Leszczyn ska-Jasion，《双重色情演算和最小LFI》。逻辑研究103（6）：1245-12782015·Zbl 1378.03027号 ·doi:10.1007/s11225-015-9617-0
[15] Coniglio，M.E.和T.G.Rodrigues，关于[{\sf-mbC}和[{\sf mCi}mCi的一些研究。C.A.Mortari（编辑），《政治经济学》，NEL/UFSC，2014年，第11-70页。
[16] 达戈斯蒂诺，M.，tableaux是对真实数据的改进吗？《逻辑、语言与信息杂志》1（3）：235-2521992年·Zbl 0793.03059号 ·doi:10.1007/BF00156916
[17] D’Agostino，M.和M.Mondadori，《驯服切割》。带有分析切割的经典反驳。逻辑与计算杂志4（3）：285-3191994·Zbl 0806.03037号 ·doi:10.1093/logcom/4.3.285
[18] Fitting，M.，模态逻辑和直觉逻辑的证明方法。施普林格，荷兰，1983年·Zbl 0523.03013号 ·doi:10.1007/978-94-017-2794-5
[19] Fitting，M.，一阶逻辑和自动定理证明。柏林施普林格，1990年·Zbl 0692.68002号 ·doi:10.1007/978-1-4684-0357-2
[20] Goliñska-Pilarek，J.、T.Huuskonen和E.Muñoz-Velasco，关系对偶表决策过程及其在模态逻辑和直觉逻辑中的应用。《纯粹与应用逻辑年鉴》165（2）：409-4272014·Zbl 1317.03017号 ·doi:10.1016/j.apal.2013.06.003
[21] Goliáska-Pilarek，J.和E.Orłowska。表和对偶表：证明的转换。Studia Logica公司，2007年，85:283-302·Zbl 1125.03041号 ·doi:10.1007/s11225-007-9055-8
[22] Grzelak，A.和D.Leszczyñska-Jasion，利用苏格拉底证明方法在公理系统中自动生成CPL的证明。IGPL逻辑期刊26（1）：109-1482018·Zbl 1499.03010号 ·doi:10.1093/jigpal/jzx057
[23] Hählne，R。；Robinson，A.（编辑）；Voronkov，A.（编辑），Tableaux and Related Methods，No.Chapter 3，101-175（2001），阿姆斯特丹
[24] Ignaszak，M.，系统KE的双重色情版本。硕士论文，亚当·米奇维茨大学心理学研究所逻辑与认知科学系，2017年。
[25] Konikowska，B.，Rasiowa-Sikorski演绎系统：计算机科学逻辑的便捷工具。在WADT98会议记录中，施普林格计算机科学讲义，第1589卷，施普林格，柏林，1999年，第183-197页·Zbl 0949.03006号
[26] Konikowska，B.，Rasiowa-Sikorski演绎系统在计算机科学应用中的应用。理论计算机科学286（2）：323-3662002·Zbl 1058.03029号 ·doi:10.1016/S0304-3975（01）00320-6
[27] Leszczyn ska-Jasion，D.，正规模态命题逻辑的苏格拉底证明方法。亚当·米奇维茨大学出版社，波兹南，2007年。
[28] Leszczyn ska-Jasion，D.，模态命题逻辑的苏格拉底证明方法：K5，S4.2，S4.3，S4M，S4F，S4R和G.Studia Logica 89（3）：371-4052008·Zbl 1169.03008号
[29] Neto、A.G.S.S.和M.Finger，最小不一致逻辑的有效证明程序。M.Bramer（编辑），IFIP国际信息处理联合会，柏林施普林格，2006年，第465-474页。
[30] Orłowska，E.和J.Goliñska-Pilarek，《双重表格：基础、方法论、案例研究》，《逻辑趋势》第33卷。施普林格，多德雷赫特，2011年·Zbl 1210.03001号
[31] Pudlák，P.，《证据的长度》。S.R.Buss（编辑），《证明理论手册》，第八章，Elsevier，1998年，第547-637页·Zbl 0920.03056号
[32] Rasiowa，H.和R.Sikorski，《关于Gentzen定理》。数学基础48:57-691960·Zbl 0099.00603号
[33] Rasiowa，H.和R.Sikorski，《元数学的数学》。波兰科学出版社，华沙，1963年·Zbl 0122.24311号
[34] Smullyan，R.M.，《一阶逻辑》。柏林施普林格，1968年·Zbl 0172.28901号 ·doi:10.1007/978-3-642-86718-7
[35] R.M.Smullyan，《数学逻辑入门指南》。多佛数学图书。多佛出版社，2014年·Zbl 1404.03001号
[36] Urbaáski，M.，Tabele syntetyczne a logika pytan。Wydawnictwo UMCS，卢布林，2002年。
[37] Wiśniewski，A.，苏格拉底式证明。《哲学逻辑杂志》33（3）：299-3262004·Zbl 1048.03009号 ·doi:10.1023/B:LOGI.000031374.60945.6e
[38] Wiśniewski，A.，《问题、推论和场景》。学院出版物，伦敦，2013年·Zbl 1294.03009号
[39] Wiśniewski，A.和V.Shangin，量词的苏格拉底证明。哲学逻辑杂志35（2）：147-1782006·Zbl 1101.03011号 ·doi:10.1007/s10992-005-9000-0
[40] Wi sh niewski，A.、G.Vanackere和D.Leszczyn ska，《苏格拉底证明与超一致性：案例研究》。逻辑研究80（2-3）：433-4682005·Zbl 1104.03018号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。