Title :
Lattice valued model theory and its forcing
Author_Institution :
Beijing Normal Univ., China
Abstract :
This is a continuation of a survey of results on the model theory of lattice-valued logic begun by S. Wang (see Int. Symp. Multivalued Logic, 1987). It covers finite forcing in lattice-valued model theory
Keywords :
many-valued logics; finite forcing; lattice-valued logic; lattice-valued model theory; model theory; Lattices; Testing;
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.37776
