基于语言真值格值命题逻辑系统lvpl的推理规则

一个逻辑系统在实际应用中，推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lvpl，提出了几种推理规则，这些推理规则包含有语义和语法，且它们之间具备协调水平的特性，证明了推理规则在一定程度上具备闭性特性。