Article citationsMore>>

Fang, S. and Mei, Z.F. (2010) Six Yuan-Based Language of Logic Attributed True Value Method. Guangxi Normal University, 3, 118-122.

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.