机读格式显示(MARC)

• 000 01686nam 2200301 450

• 001 0000787378

• 005 20250702204000.0

• 010 __ |a 978-7-5227-3786-7 |d CNY98.00

• 100 __ |a 20241010d2024 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 弗协调集合论模型研究 |A fu xie tiao ji he lun mo xing yan jiu |d = A study of paraconsistent set theory model |f 何建锋著 |z eng

• 210 __ |a 北京 |c 中国社会科学出版社 |d 2024

• 215 __ |a 247页 |d 24cm

• 225 2_ |a 中南财经政法大学青年学术文库 |A zhong nan cai jing zheng fa da xue qing nian xue shu wen ku

• 306 __ |a 中南财经政法大学出版基金资助出版

• 314 __ |a 何建锋, 男, 1987年生, 河南登封人, 2018年毕业于南开大学逻辑学专业, 获哲学博士学位, 现任中南财经政法大学哲学院讲师, 主讲现代逻辑相关课程。参与国家社会科学基金重点项目1项, 主持湖北省社会科学基金项目1项, 主持校级科研项目3项, 发表CSSCI论文若干篇。

• 320 __ |a 有书目 (第242-247页)

• 330 __ |a 本书使用文献研究法讨论了一个数理逻辑问题: 弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统, 并构造模型证明其非平凡性, 结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性, 在一定意义上拓展了其应用领域, 实现了洛韦和塔拉法德的猜想, 将广义代数值模型推广到弗协调集合论, 本书也对集合论模型的构造技术作了一次较为充分的梳理, 为其它集合论模型的研究提供参考。

• 410 _0 |1 2001 |a 中南财经政法大学青年学术文库

• 510 1_ |a Study of paraconsistent set theory model |z eng

• 606 0_ |a 数理逻辑 |A shu li luo ji |x 研究

• 690 __ |a O141 |v 5

• 701 _0 |a 何建锋, |A he jian feng |f 1987- |4 著

• 801 _0 |a CN |b WFKJXY |c 20250702

• 905 __ |a WFKJXY |d O141/11