Researches on Six Lattice-Valued Logic

• 作者: Hua Li
• 来源期刊: 电脑和通信(英文)
• 学科: 数学
• 关键词: SIX Lattice-Valued Logic LATTICE IMPLICATION ALGEBRA Filter TAUTOLOGY
• 年，卷（期）: 2015,（10）
• 页码范围: 36-42
• 页数: 7页
• 分类号: O1

摘要

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.