Title	Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra
Author	Wang Xuefang, Liu Peishun
Citation	Vol. 6  No. 5  pp. 195-200
Keywords	Lattice-valued logic, lattice implication algebra, ultrafilter, ultraproduct, consistent theorem

Title	Double-layer Modificatory Linguistic Truth-value Lattice-valued Evaluation Method
Author	Dan Meng, Xu Huang, Zaiqiang Zhang, Yang Xu
Citation	Vol. 6  No. 9  pp. 167-174
Keywords	Artificial Intelligence, Lattice Implication Algebra, Lattice-valued Logic system, Double-layer Evaluation Method with Linguistic Truth-value