%0 Journal Article
%T 基于语言真值格值命题逻辑系统lvpl的推理规则
%J 计算机科学
%D 2008
%X 一个逻辑系统在实际应用中，推理规则的选取往往很重要。本文基于语言真值格值命题逻辑系统lvpl，提出了几种推理规则，这些推理规则包含有语义和语法，且它们之间具备协调水平的特性，证明了推理规则在一定程度上具备闭性特性。
%K 语言真值蕴涵代数语言真值命题逻辑推理规则闭性
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=28169612&flag=1