东华大学学报（英文版）2007，Vol.24Issue(2)：305-308,4.
The Syntax of Lattice-Valued Propositional Logic System lp(X)
The Syntax of Lattice-Valued Propositional Logic System lp(X)
摘要
Abstract
Lattice-valued logic plays an important role in multi-valued logic systems. A lattice valued logic system lp(X) is constructed. The syntax of lp(X) is discussed. It may be more convenient in application and study especially in the case that the valuation domain is finite lattice implication algebra.关键词
latticevalued logic/lattice/lattice implication algebra/syntaxKey words
latticevalued logic/lattice/lattice implication algebra/syntax分类
天文与地球科学引用本文复制引用
..The Syntax of Lattice-Valued Propositional Logic System lp(X)[J].东华大学学报（英文版）,2007,24(2):305-308,4.基金项目
The National Science Fund of China (No. 60074014, 60474022) （No. 60074014, 60474022）
The Project Fund of Zhejiang Science and Technology Department, China (No. 2005C31005) （No. 2005C31005）
