摘要
In the present paper,some basic properties of MP filters of R0 algebra M are investigated.It is proved that ■ is a bounded distributive lattice by introducing the negation operator,the meet operator ∧,the join operator ∨ and the implication operator → on the set FMP(M) of all MP filters of M.Moreover,some conditions under which ■ is an R0 algebra are given.And the relationship between prime elements of FMP(M) and prime filters of M is studied.Finally,some equivalent characterizations of prime elements of FMP(M) are obtained.
Abstract In the present paper, some basic properties of MP filters of Ro algebra M are investigated. It is proved that（FMP（M）,包含,′∧^-∨^-,{1},M）is a bounded distributive lattice by introducing the negation operator ′, the meet operator ∧^-, the join operator ∨^- and the implicati on operator → on the set FMP（M） of all MP filters of M. Moreover, some conditions under which （FMP（M）,包含,′∨^-,→{1},M）is an Ro algebra are given. And the relationship between prime elements of FMP （M） and prime filters of M is studied. Finally, some equivalent characterizations of prime elements of .FMP （M） are obtained.
关键词
数理逻辑
命题演算
类演算
研究
Ro algebra
MP filter
prime element
equivalent characterization.
