Continuity of basic operations on pseudo-metric (L)*-Lindenbaum algebra

Wei WANG,Guo-jun WANG
DOI: https://doi.org/10.3321/j.issn:1672-4291.2005.02.001
2005-01-01
Abstract: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,ρ).
What problem does this paper attempt to address?