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

An Approach to the Axiomatization of Fuzzy Set Theory

作　　者：李娜[1] 杨帆 LI Na YANG Fan(Philosophy College, Nankai University, Tianjin 300350, Chin)

机构地区：[1]南开大学哲学院,天津300350

出　　处：《重庆理工大学学报（社会科学）》2017年第9期18-20,29,共4页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金重点项目"基于哲学逻辑的集合论研究"(16AZD036)

摘　　要：模糊集合论是模糊理论的数学基础,其公理化可以从不同的逻辑语言出发。经典逻辑是较为简洁的一种方法。夏平基于扎德的模糊集概念创立了第一个公理化模糊集合论Za。这个公理化是ZF的。将它扩张为NBG是一种自然的考虑。这样的扩张将作为从非经典逻辑如模糊逻辑出发建立集合论的一个基础。Fuzzy set theory（FST） is the foundation of fuzzy theory.The axiomatization of FST is almostly based on varieties of logic languages.Classical logic is a concise approach.Chapin gave the first axiomatization of FST named Za based on Zadeh＇s concept of fuzzy sets.Za is a ZF-like axiomatization and an extension to NBG shall be discussed naturally.The extension will be a foundation of those constructions of set theory based on non-classical logic,such as fuzzy logic.

关 键 词：模糊集合论 公理化 NBG 

分 类 号：B813[哲学宗教—逻辑学]