Rules of Inference in Lattice-Valued Propositional Logic Lvpl

• 格值命题逻辑系统Lvpl中的推理规则