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...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 implication algebra, discussed the corresponding lattice valued propositional logic system, and established a展开更多
文摘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 implication algebra, discussed the corresponding lattice valued propositional logic system, and established a
