论文部分内容阅读
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.