Here some properties on filters of double MS-algebras are descripted. We show that,for a normal filter F of a double MS-algebra (L;0, + )(x,y) ∈θ(F) (a,b ∈ F) (x ∧α)∨b+= (y ∧ a)∨ b+.
Here we show that there exists a greatest fixed point separating congruence denoted by ψ on a double MS-algebra (L;~0, +), Some properties of ψ under certain conditions on fixed point complete and fixed point distri...Here we show that there exists a greatest fixed point separating congruence denoted by ψ on a double MS-algebra (L;~0, +), Some properties of ψ under certain conditions on fixed point complete and fixed point distributive have also been described.展开更多
文摘Here some properties on filters of double MS-algebras are descripted. We show that,for a normal filter F of a double MS-algebra (L;0, + )(x,y) ∈θ(F) (a,b ∈ F) (x ∧α)∨b+= (y ∧ a)∨ b+.
文摘Here we show that there exists a greatest fixed point separating congruence denoted by ψ on a double MS-algebra (L;~0, +), Some properties of ψ under certain conditions on fixed point complete and fixed point distributive have also been described.
