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