To search, Click below search items.
All Published Papers Search Service
Title
Ultraproduct of first-order lattice-valued logic LF(X) based on finite lattice implication algebra
Author
Wang Xuefang, Liu Peishun
Vol. 6 No. 5 pp. 195-200
Keywords
Lattice-valued logic, lattice implication algebra, ultrafilter, ultraproduct, consistent theorem