×

非Fregean逻辑的扩展数。 (英语) Zbl 1086.03024号

小结:我们证明SCI(非Fregean命题逻辑的基本理论)有许多不同的连续扩张,它们位于WF(Fregean扩张)之下,并且在替换下是闭合的。此外,连续体-其中许多连续体独立于WB(布尔扩展),连续流-许多位于WB之上并且独立于WH(等式关系只有两个值的布尔扩展)并且只有可数的多位于WH和WF之间。

MSC公司:

03B60号 其他非经典逻辑
03A05号 逻辑和基础的哲学和批判性方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bloom,S.L.和Suszko,R.:《带身份的句子演算研究》,《圣母院J.形式逻辑》13/3(1972),289-308·doi:10.1305/ndjfl/1093890617
[2] Omyła,M.:扎里斯·Logiki Niefregowskiej,Pa an stwowe Wydawnicztwo Naukow,Warszawa,1986年。
[3] Suszko,R.:《非正则逻辑与理论》,布库雷斯蒂大学,《逻辑学学报》第9期(1968年),第105–125页·2010年3月23日
[4] Suszko,R.:身份连接词和模态,Studia Logica 27(1971),7-39·Zbl 0263.02015号 ·doi:10.1007/BF02282541
[5] Suszko,R.:《弗雷琴公理的废除》,载于A.Dold和B.Eckmann(编辑),1972–73年逻辑学术讨论会,Springer-Verlag,柏林,1975年,第169–239页·Zbl 0308.02026号
[6] Suszko,R.:模态系统和SCI注释,Bull。第节。逻辑1(4)(1972),42–45。
[7] Suszko,R.:《逻辑、语言和概率》中非Fregean语句演算SCI的适当模型。第四届国际逻辑、方法论和哲学大会论文集,Reidel Publ。《公司》,多德雷赫特出版社,1973年,第49-54页。
[8] Zachorowski,S.:R.Suszko猜想的证明,Studia Logica 34(3)(1975),253-256·Zbl 0325.02013 ·doi:10.1007/BF02125227
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。