论文部分内容阅读
PAVELKA in ref. [1] established a propositional logic system whose truth values domain is an enriched residuated lattice and obtained some beautiful results. In order to study more general lattice valued logic systems, we proposed the concept of lattice i