Heyting代数的(∈,∈∨q)-模糊滤子
(∈,∈∨q)-fuzzy Filters of Heyting Algebras
-
摘要: 利用模糊点属于和重于模糊集的概念,引入Heyting代数的(∈,∈∨q)-模糊滤子的概念,研究它的性质,给出了Heyting代数中(∈,∈∨q)-模糊滤子的几个等价刻画,讨论了Heyting代数中(∈,∈∨q)-模糊滤子的同态性质,证明了(∈,∈∨q)-模糊滤子的同构(同态)象(原象)仍为(∈,∈∨q)-模糊滤子Abstract: Using the concepts of the fuzzy points quasi coincide with and belong to fuzzy sets, the concept of(∈,∈∨q)-fuzzy filters in Heyting algebras is introduced and its properties are investigated. Several equivalent characterizations of(∈,∈∨q)- fuzzy filters in Heyting algebras are given. The homomorphic properties of(∈,∈∨q)- fuzzy filters in Heyting algebras are discussed. It is proved that the isomorphic(resp. homomorphic)image(resp. inverse image)of an(∈,∈∨q)- fuzzy filter in Heyting algebras is also an(∈,∈∨q)- fuzzy filter.