Title :
A proof of an omitting types theorem in lattice valued model theory
Author_Institution :
Dept. of Math., Beijing Normal Univ., China
Abstract :
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
Keywords :
many-valued logics; lattice valued model theory; omitting types theorem; Iron; Lattices; Mathematical model; Mathematics; Terminology;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37788
