摘要
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.
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.
基金
The National Science Fund of China(No.60074014,60474022)
The Project Fund of Zhejiang Science and Technology Depart ment,China(No.2005C31005)
