基于语言真值格值命题逻辑系统l_(νpl)的推理规则

Rules of Reasoning Based on Linguistic Truth-valued Lattice Value Propositional Logic System l_(νpl)

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

In general,the selection for rules of reasoning are more important in some practical applications of logic system. In this paper,some rules of reasoning based on linguistic truth-valued lattice value propositional logic system lvp1 are proposed. They comprise syntax and semantics, and have the characteristic of consistency level between syntax and semantics. It is proved that these rules of inference are closed to appropriate degree.