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.
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.
Cited by
No relevant information.