Return to Article Details Metric Boolean Algebras and an Application to Propositional Logic Download Download PDF