Article citationsMore>>

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

has been cited by the following article:

• 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.