Researches on Six Lattice-Valued LogicReport as inadecuate




Researches on Six Lattice-Valued Logic - Download this document for free, or read online. Document in PDF available to download.

Based on the direct product of Booleanalgebra and Lukasiewicz algebra, six lattice-valued logic is put forward inthis paper. The algebraic structure and properties of the lattice are analyzedprofoundly and the tautologies of six-valued logic system L6PX are discusseddeeply. The researches of this paper can be used in lattice-valued logicsystems and can be helpful to automated reasoning systems.

KEYWORDS

Six Lattice-Valued Logic, Lattice Implication Algebra, Filter, Tautology

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.





Author: Hua Li

Source: http://www.scirp.org/



DOWNLOAD PDF




Related documents