Researches on Six Lattice-Valued Logic

DOI: 10.4236/jcc.2015.310005   PDF   HTML   XML   2,839 Downloads   3,224 Views  

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.

Share and Cite:

Li, H. (2015) Researches on Six Lattice-Valued Logic. Journal of Computer and Communications, 3, 36-42. doi: 10.4236/jcc.2015.310005.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[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.
http://dx.doi.org/10.1142/9789812702661_0009
[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.

  
comments powered by Disqus

Copyright © 2020 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.