To search, Click below search items.

 

All Published Papers Search Service

Results for consistent theorem; Total 1

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

[1]