Lattice valued model theory and its forcing
Shen Fuxing · 2003
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.>