Metric Structures on Boolean Algebras and an Application to Propositional Logic
Guo Jun WANG(1),Qing Yan SONG(
Acta Mathematica Sinica, Chinese Series ›› 2004, Vol. 47 ›› Issue (2) : 317-326.
Metric Structures on Boolean Algebras and an Application to Propositional Logic
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |