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

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