• ISSN 0258-2724
  • CN 51-1277/U
  • EI Compendex
  • Scopus 收录
  • 全国中文核心期刊
  • 中国科技论文统计源期刊
  • 中国科学引文数据库来源期刊

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

陈树伟 徐扬

陈树伟, 徐扬. 格值命题逻辑系统Lvpl中的推理规则[J]. 西南交通大学学报, 2006, 19(2): 256-258.
引用本文: 陈树伟, 徐扬. 格值命题逻辑系统Lvpl中的推理规则[J]. 西南交通大学学报, 2006, 19(2): 256-258.
CHEN Shuwei, XU Yang. Rules of Inference in Lattice-Valued Propositional Logic Lvpl[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 256-258.
Citation: CHEN Shuwei, XU Yang. Rules of Inference in Lattice-Valued Propositional Logic Lvpl[J]. Journal of Southwest Jiaotong University, 2006, 19(2): 256-258.

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

基金项目: 

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

详细信息
    作者简介:

    陈树伟(1977- ),男,博士研究生,研究方向为智能信息处理,电话:028-87600760,E-mail:chensw915@163.com;徐扬(1956- ),男,教授,博士生导师,研究方向为智能信息处理,电话:028-87600760,E-mail:xuyang@swjtu.edu.cn

    陈树伟(1977- ),男,博士研究生,研究方向为智能信息处理,电话:028-87600760,E-mail:chensw915@163.com;徐扬(1956- ),男,教授,博士生导师,研究方向为智能信息处理,电话:028-87600760,E-mail:xuyang@swjtu.edu.cn

Rules of Inference in Lattice-Valued Propositional Logic Lvpl

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

     

  • 徐扬.格蕴涵代数[J].西南交通大学学报,1993,28(1):20-27.XU Yang.Lattice implication algebras[J].Journal Southwest Jiaotong University,1993,28(1):20-27.[2] XU Yang,QIN Keyun.Lattice-valued propositional logic (Ⅰ)[J].Journal Southwest Jiaotong University (English Edition),1993,1(2):123-128.[3] QIN Keyun,XU Yang.Lattice-valued propositional logic (Ⅱ)[J].Journal Southwest Jiaotong University (English Edition),1994,2(1):22-27.[4] XU Yang,QIN Keyun,LIU Jun,et al.L-valued propositional logic Lvpl[J].Inform.Sci.,1999,114:205-235.[5] XU Yang,LIU Jun,SONG Zhenming,et al.On semantics of L-valued first-order logic Lvfl[J].Int.J.Gen.Syst.,2000,29:53-79.[6] XU Yang,SONG Zhenming,QIN Keyun,et al.Syntax of L-valued first-order logic Lvfl[J].Int.J.Mutiple-Valued Logic,2001,7:213-257.[7] XU Yang,RUAN Da,LIU Jun.Approximate reasoning based on lattice-valued propositional logic Lvpl[C] // Fuzzy Sets Theory and Applications.Boston:Kluwer Academic Publishers,2000:81-105.[8] XU Yang,RUAN Da,QIN Keyun,et al.Lattice-Valued Logic[M].Berlin:Springer,2003:27-57,227-257,310-322.[9] 徐扬,秦克云.格H蕴涵代数与格蕴涵代数类[J].河北煤炭建筑工程学院学报,1992,9(2):139-143.XU Y,QIN Keyun.Lattice H implication algebras and lattice implication algebra classes[J].Journal Hebei Mining and Civil Engineering Institute,1992,9 (2):139-143.
  • 加载中
计量
  • 文章访问数:  1151
  • HTML全文浏览量:  60
  • PDF下载量:  255
  • 被引次数: 0
出版历程
  • 收稿日期:  2005-01-04
  • 刊出日期:  2006-04-25

目录

    /

    返回文章
    返回