论文部分内容阅读
在研究非经典数理逻辑的语义理论时(特别在讨论逻辑系统完备性时),通常要考查与之相关的代数系统的结构,比如Lukasiewicz连续值逻辑与MV-代数,形式系统L*与RO-代数、基本逻辑系统BL与BL-代数等,这与经典逻辑与Boolean代数的关系极为相似.因此,研究各种源于逻辑的代数系统的内在联系,不仅对代数结构本身的研究是重要的,而且对于揭示各种逻辑系统之间的内在关系有重要意义。
本文在国内外已有成果的基础上,引入BL-代数的(∈,∈vq)-模糊滤子、(∈,∈vq)-模糊关联滤子、(∈,∈vq)-模糊正关联和(∈,∈vq)-模糊奇妙滤子等概念,运用模糊逻辑代数相关理论,研究了其性质。同时,利用模糊集的水平集,刻画了这几类广义模糊滤子的特征.最后,我们给出一个重要的结论:BL-代数的模糊集F是L的(∈,∈vq)-模糊关联(Boolean)滤子当且仅当它既是(∈,∈vq)-模糊正关联滤子,又是(∈,∈vq)-模糊奇妙滤子.该文的研究,为BL-代数及其它逻辑代数的理论研究提供了一个新的研究思路。