中国科学院数学与系统科学研究院期刊网
Metric Structures on Boolean Algebras and an Application to Propositional Logic
Guo Jun WANG(1),Qing Yan SONG(
Acta Mathematica Sinica, Chinese Series . 2004, (2): 317 -326 .  DOI: 10.12386/A2004sxxb0041