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

摘要

为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvpl中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvpl的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.