JCC  Vol.3 No.10 , October 2015
Researches on Six Lattice-Valued Logic
Abstract: Based on the direct product of Boolean algebra and Lukasiewicz algebra, six lattice-valued logic is put forward in this paper. The algebraic structure and properties of the lattice are analyzed profoundly and the tautologies of six-valued logic system L6P(X) are discussed deeply. The researches of this paper can be used in lattice-valued logic systems and can be helpful to automated reasoning systems.
Cite this paper: Li, H. (2015) Researches on Six Lattice-Valued Logic. Journal of Computer and Communications, 3, 36-42. doi: 10.4236/jcc.2015.310005.

[1]   Yang, X. and Yun, Q.K. (1995) Fuzzy Lattice Implication Algebra. Southwest Jiaotong University, 2, 121-127.

[2]   Xu, Y., Ruan, D. and Liu, J. (2004) Progress and Prospect in Lattice-Valued Logic Systems Based on Lattice Implication Algebras. Proceedings of the 6th International FLINS Conference Applied Computational Intelligence, 29-34.

[3]   Min, H.T. (1996) Georgia, Sequencing Primer Theory and Its Application. Southwest Jiaotong University Press.

[4]   Fang, S. and Mei, Z.F. (2010) Six Yuan-Based Language of Logic Attributed True Value Method. Guangxi Normal University, 3, 118-122.