中国科学院数学与系统科学研究院期刊网
AMS
The Consistency Property in Lattice Valued Model Theory for Infinitary Logic
Shen Fuxing
Acta Mathematica Sinica . 1987, (2): 103 -108 .  DOI: 10.1007/BF02565022