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

Rules of Inference in Lattice-Valued Propositional Logic L_(vpl)

作　　者：陈树伟[1] 徐扬[1] 

机构地区：[1]西南交通大学智能控制开发中心,四川成都610031

出　　处：《西南交通大学学报》2006年第2期256-258,共3页Journal of Southwest Jiaotong University

基　　金：国家自然科学基金资助项目(60474022)

摘　　要：为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvp l中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvp l的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.To describe reasoning methods such as minimizing, multiple reasoning etc., corresponding rules of inference in lattice-valued reasoning, multi-dimensional propositional logic Lvpl are introduced. These rules are composed of two parts, semantics and syntax, and there exists a certain consistency between the two parts. It is proved that, with an appropriate level of consistency between semantics and syntax, L-type fuzzy subsets of the set of all formulae of Lvpl are closed to a certain extent with respect to these rules of inference when they are homomorphic.

关 键 词：格值命题逻辑 推理规则 封闭性 语法 语义 

分 类 号：O141[理学—数学]