在研究非经典数理逻辑的语义理论时(特别在讨论逻辑系统完备性时),通常要考查与之相关的代数系统的结构,比如Lukasiewicz连续值逻辑与MV-代数,形式系统L*与RO-代数、基本逻辑系统BL与BL-代数等,这与经典逻辑与Boolean代数的关系极为相似.因此,研究各种源于逻辑的代数系统的内在联系,不仅对代数结构本身的研究是重要的,而且对于揭示各种逻辑系统之间的内在关系有重要意义。
本文在国内外已有成果的基础上,引入BL-代数的(∈,∈vq)-模糊滤子、(∈,∈vq)-模糊关联滤子、(∈,∈vq)-模糊正关联和(∈,∈vq)-模糊奇妙滤子等概念,运用模糊逻辑代数相关理论,研究了其性质。同时,利用模糊集...