A proof of an omitting types theorem in lattice valued model theory
Wang Shiqiang · 2003
A proof is presented for an omitting types theorem in lattice-valued model theory. The theorem was announced by the author previously (see Proc. 18th Symposium on Multiple-value Logic, Palma de Mallorca (1988)) with proof.>