• •    

一种模糊集合论的公理化方法

李娜,杨帆   

  • 出版日期:2017-09-25 发布日期:2017-09-30

  • Online:2017-09-25 Published:2017-09-30

摘要: 模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发。经典逻辑是 较为简洁的一种方法。夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za。这个 公理化是ZF的。将它扩张为NBG是一种自然的考虑。这样的扩张将作为从非经典逻辑如模 糊逻辑出发建立集合论的一个基础。