Dr. Li FU and Dr. Li FU, “Metric Boolean Algebras and an Application to Propositional Logic”, GJSFR, vol. 11, no. 5, pp. 1–4, Mar. 2011.