10.3969/j.issn.0258-2724.2006.02.026
格值命题逻辑系统Lvpl中的推理规则
为描述取小、多重推理、多维推理等实际推理方法,在格值命题逻辑系统Lvpl中,引入了几类相应的推理规则.这些推理规则由语法和语义两部分组成,且在两部分之间存在一定的协调水平.证明了对于适当的语法语义协调水平,当Lvpl的公式集的L型模糊集为同态映射时,它们关于这几类推理规则都在一定程度上封闭.
格值命题逻辑、推理规则、封闭性、语法、语义
41
O141(数理逻辑、数学基础)
中国科学院资助项目60474022
2006-04-27(万方平台首次上网日期,不代表论文的发表时间)
共3页
256-258