DocumentCode
2531252
Title
A survey of some results in lattice-valued model theory
Author
Wang, Shuhui
Author_Institution
Dept. of Math., Beijing Normal Univ., China
fYear
1988
fDate
0-0 1988
Firstpage
129
Lastpage
133
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ISMVL.1988.5164
Filename
5164
Link To Document