TITLE:
Researches on Six Lattice-Valued Logic
AUTHORS:
Hua Li
KEYWORDS:
Six Lattice-Valued Logic, Lattice Implication Algebra, Filter, Tautology
JOURNAL NAME:
Journal of Computer and Communications,
Vol.3 No.10,
October
29,
2015
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.