Title :
A survey of some results in lattice-valued model theory
Author_Institution :
Dept. of Math., Beijing Normal Univ., China
Abstract :
The author surveys some of his published results on the model theory of lattice-valued logic. Among the results surveyed are: the fundamental theorem of ultraproducts, the compactness theorem, the LST theorem, and the omitting types theorem. A proof of the compactness theorem is appended.<>
Keywords :
many-valued logics; LST theorem; compactness theorem; lattice-valued model theory; omitting types theorem; ultraproducts; Application software; Boolean functions; Formal languages; Fuzzy logic; Fuzzy set theory; Lattices; Logic circuits; Mathematical model; Mathematics; Set theory;
Conference_Titel :
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location :
Palma de Mallorca, Spain
Print_ISBN :
0-8186-0859-5
DOI :
10.1109/ISMVL.1988.5164
