ISBN/价格: | 978-7-5227-3786-7:CNY98.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 弗协调集合论模型研究/.何建锋著 |
出版发行项: | 北京:,中国社会科学出版社:,2024.09 |
载体形态项: | 247页:;+图:;+24cm |
丛编项: | 中南财经政法大学青年学术文库 |
一般附注: | 中南财经政法大学出版基金资助出版 |
提要文摘: | 本书使用文献研究法讨论了一个数理逻辑问题:弗协调集合论是否优于经典集合论。书中从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统,并构造模型证明其非平凡性,结果证明现有的弗协调集合论不优于经典集合论。书中同时还用模型证明了弗协调集合论的非平凡性,在一定意义上拓展了其应用领域,实现了洛韦和塔拉法德的猜想,将广义代数值模型推广到弗协调集合论。 |
并列题名: | Study of paraconsistent set theory model eng |
题名主题: | 哲理逻辑 集论 研究 |
中图分类: | B815.9 |
个人名称等同: | 何建锋 著 |
记录来源: | CN 百万庄 20241015 |