10.3969/j.issn.1674-8425(s).2017.09.003
一种模糊集合论的公理化方法
模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发.经典逻辑是较为简洁的一种方法.夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za.这个公理化是ZF的.将它扩张为NBG是一种自然的考虑.这样的扩张将作为从非经典逻辑如模糊逻辑出发建立集合论的一个基础.
模糊集合论、公理化、NBG
31
B813(逻辑学(论理学))
国家社会科学基金重点项目“基于哲学逻辑的集合论研究”16AZD036
2017-12-14(万方平台首次上网日期,不代表论文的发表时间)
共4页
18-20,29