中国科学院数学与系统科学研究院期刊网
Metrization on MV-Algebras and Its Application in Lukasiewicz Propositional Logic
Guo Jun WANG Institute of Mathematics,Shaanxi Normal University,Xi'an 710062,P.R.China Research Center for Science,Xi'an Jiaotong University,Xi'an 710049,P.R.China Hong Jun ZHOU Institute of Mathematics,Shaanxi Normal University,Xi'an 710062,P.R.China
Acta Mathematica Sinica, Chinese Series . 2009, (03): 87 -100 .  DOI: 10.12386/A2009sxxb0062