Dr. Li FU; Dr. Li FU. Metric Boolean Algebras and an Application to Propositional Logic. GJSFR 2011, 11, 1-4.