逻辑系统L~*和BL~*的广义演绎定理的逆定理

详细信息    查看全文 | 推荐本文 |

英文篇名：Inverse Theorems of Generalized Deduction Theorems in Logic Systems L~* and BL~* 作者：荣宇音 ; 徐罗山 英文作者：RONG Yuyin;XU Luoshan;School of Mathematics, Yangzhou University; 关键词：逻辑系统L* ; 逻辑系统BL* ; 广义演绎定理 ; 强可靠性 英文关键词：logic system L*;;logic system BL*;;generalized deduction theorem;;strong soundness 中文刊名：JSGG 英文刊名：Computer Engineering and Applications 机构：扬州大学数学科学学院; 出版日期：2018-06-22 13:51 出版单位：计算机工程与应用 年：2019 期：v.55;No.920 基金：国家自然科学基金(No.11671008,No.61472343,No.11701500);; 江苏省高校自然科学基金(No.15KJD110006);; 江苏省自然科学基金(No.BK20170483);; 江苏高校品牌专业建设工程项目(No.PPZY2015B109) 语种：中文; 页：JSGG201901008 页数：3 CN：01 分类号：53-55

摘要

利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。
        Proofs of inverse theorems of generalized deduction theorems of logic systems L* and BL* by logic deductive method are presented. By the completeness theorem and the generalized deduction theorem of logic system BL *, the strong soundness of logic system BL* is proved.

引文

[1]王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045.
    [2]裴道武,王三民.形式系统L*(n)的完备性[J].高校应用数学学报:A辑(中文版),2001,16(3):253-262.
    [3]吴洪博.基础R0代数与基础L*系统[J].数学进展,2003,32(5):565-576.
    [4] Pei D W. R0implication:Characteristics and applications[J].Fuzzy Sets and Systems,2002,131(3):297-302.
    [5] Zhou H J,Zhao B.Stone-like representation theorems and three-valued filters in R0-algebras(nilpotent minimum algebras)[J].Fuzzy Sets and Systems,2011,162(1):1-26.
    [6]乔希民,李超,罗俊丽,等.基础R0-代数与BCI/BCK-代数的关系(II)[J].内蒙古师范大学学报(自然科学汉文版),2015,44(1):1-3.
    [7]张琼,吴洪博. BL*系统的一种扩张及相关性质[J].计算机工程与应用,2010,46(19):36-38.
    [8]王伦磊,吴洪博.对弱MTL-代数上的几种演绎系统及其商代数[J].模糊系统与数学,2016,30(5):42-49.
    [9]梁颖,崔艳丽,吴洪博.基于BL系统的演绎系统集代数的剩余格属性[J].山东大学学报(理学版),2017,52(11):65-70.
    [10]王国俊.数理逻辑引论与归结原理[M].2版.北京:科学出版社,2006.
    [11]王国俊.计量逻辑学的基本思想和研究综述[J].模糊系统与数学,2012,26(4):1-11.
    [12]裴道武.形式演绎系统L*中的?运算与演绎定理[J].模糊系统与数学,2001,15(1):34-39.
    [13]裴道武.形式系统L*的完备性及其应用[J].中国科学:E辑,2002,32(1):56-64.
    [14]裴道武.关于形式系统L*的强完备性[J].工程数学学报,2005,22(1):128-132.
    [15]裴道武,王国俊.形式系统L*的扩张Ln*及其完备性[J].中国科学:E辑,2003,33(4):350-356.
    [16]韩诚,周红军.关于形式系统(强)完备性证明的注记[J].陕西师范大学学报(自然科学版),2005,33(2):9-11.