Continuity of basic operations on pseudo-metric L~*-Lindenbaum algebra
Wei Wang · Journal of Shaanxi Normal University · 2005
The pseudo-metric on the set of propositions of system L~* induces a pseudo-metric ρ on L~*-Lindenbaum algebra M. The present paper proves that the negation operator, the join operator and the implication operator all are continuous w.r.t. ρ. These provide a convenient way for establishing approximate reasoning theory on (M,ρ).