基于有限格蕴涵代数的格值命题逻辑语义系统

• Semantic System of Lattice-Valued Propositional Logic Based on Finite Lattice Implication Algebra