To search, Click
below search items.


All
Published Papers Search Service

Title

Ultraproduct of firstorder latticevalued logic LF(X) based on finite lattice implication algebra

Author

Wang Xuefang, Liu Peishun

Citation 
Vol. 6 No. 5 pp. 195200

Abstract

In recent years, model theory has had remarkable success in solving important problems. Its importance lies in the observation that mathematical objects can be cast as models for a language. Ultraproduct is a method of constructing a new model from a family of models, In this paper, we deal with a new form of ultraproduct model for firstorder latticevalued logic LF(X) whose truthvalue field is a finite lattice implication algebra. At the same time, Expansion theorem, two forms of fundamental theorem of ultraproducts and consistent theorem are obtained. Finally, another application of ultraproduct to algebra is discussed.

Keywords

Latticevalued logic, lattice implication algebra, ultrafilter, ultraproduct, consistent theorem

URL

http://paper.ijcsns.org/07_book/200605/200605A30.pdf

