分层的格值命题逻辑系统L_(vpl)中的推理规则

Rule of Inference in Gradational Lattice-valued Propositional Logic L

格值命题逻辑系统L_(vpl)中的推理规则体现了逻辑系统的语法功能,推理规则越多逻辑系统的语法演绎能力越强。针对推理规则的具体例子的研究已有很多成果,但其中对于推理规则需要满足的条件缺乏系统研究。本文通过研究分析二值逻辑中推理规则的特点,来研究L_(vpl)中的推理规则。给出L_(vpl)中推理规则的公式演绎部分需要满足的条件,为L_(vpl)中推理规则的选取提供了合理的基础。最后,给出一些具体的常用的推理规则的例子。

Rule of inference in gradational lattice-valued propositional logic Lvpl reflects the grammatical function of the logic system.The more rules,the stronger the grammatical deductive ability of logic system.There are many achievements in the study of specific examples of rule of inference,but there is a lack of systematic research on the conditions that rules need to meet.Through analyzing the rule of inference in classical logic,research the rule of inference in Lvpl.Given the conditions of the formulae deduction operation of the rule of inference in Lvpl should be satisfy.It provides a rational basis for the chosen of rule of inference in Lvpl.In the last,some concrete and conventional instances of rule of inference in Lvpl are given.