形式系统L^＊的扩张Ln^＊及其完备性被引量：9

原文传递

导出

摘要将Pavelka语义与语构有机结合的方法运用于命题演算形式系统L*的研究,在公式集中引入部分常值,从语义和语构两个途径将公式程度化,同时将推理过程也程度化,提出了系统L*的一个扩张L*n,证明了L*n 的完备性.

作者裴道武王国俊

机构地区西安交通大学理学院陕西师范大学数学研究所

出处《中国科学（E辑）》 CSCD 北大核心 2003年第4期350-356,共7页 Science in China(Series E)

基金国家自然科学基金(批准号:19831040)

关键词命题演算形式系统语义语构模糊逻辑模糊推理系统扩张完备性

分类号 O231 [理学—运筹学与控制论]

引文网络
相关文献

参考文献16

1裴道武,王国俊.一种新的模糊逻辑代数系统[J].西南交通大学学报,2000,35(5):564-568. 被引量：23
2裴道武,王国俊.形式系统~*的完备性及其应用[J].中国科学（E辑）,2002,32(1):56-64. 被引量：93
3李洪兴.从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J].模糊系统与数学,1995,9(4):1-14. 被引量：145
4王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045. 被引量：194
5王国俊.修正的Kleene系统中的Σ-(α-重言式)理论[J].中国科学（E辑）,1998,28(2):146-152. 被引量：131
6王国俊.模糊推理的全蕴涵三I算法[J].中国科学（E辑）,1999,29(1):43-53. 被引量：350
7裴道武,王三民.形式系统L~*(n)的完备性[J].高校应用数学学报（A辑）,2001,16(3):253-262. 被引量：10
8裴道武.剩余格与正则剩余格的特征定理[J].数学学报（中文版）,2002,45(2):271-278. 被引量：82
9Pavelka J. On fuzzy logic I. Z Math Logik Grandl Math, 1979, 25:45-52.
10Pavelka J. On fuzzy logic II. Z Math Logik Grandl Math, 1979, 25:119-134.

二级参考文献34

1吴望名.关于模糊逻辑的—场争论[J].模糊系统与数学,1995,9(2):1-10. 被引量：58
2李洪兴.从模糊控制的数学本质看模糊逻辑的成功──关于“关于模糊逻辑似是而非的争论”的似是而非的介入[J].模糊系统与数学,1995,9(4):1-14. 被引量：145
3陈永义，模糊控制技术及应用实例，1993年
4王国俊，第四届全国计算机应用联合学术会议论文集，1997年，1108页
5王国俊，J Fuzzy Math，1997年，5卷，1期，229页
6王国俊，陕西师大学报，1997年，25卷，1期，1页
7王国俊，陕西师大学报，1997年，25卷，3期，1页
8王国俊，Lecture Notes in Fuzzy Mathematics and Computer Science，1997年
9张文修，不确定性推理原理，1997年
10陈永义，模糊控制技术及应用实例，1993年

共引文献793

1唐敏之,曾水玲.R0型直觉模糊推理反向三Ⅰ算法的性质[J].模糊系统与数学,2023,37(5):89-99.
2彭家寅,刘淼,汤建钢.基于完备剩余格值逻辑的BCI-代数的三种模糊理想[J].模糊系统与数学,2023,37(4):1-16.
3彭家寅,刘淼,汤建钢.区间值模糊推理的全蕴涵方法[J].模糊系统与数学,2023,37(3):58-67.
4王作真,张兴芳,阚婷.基于蕴涵算子L_p的模糊三I方法的支持度分析[J].鲁东大学学报（自然科学版）,2008,24(1):8-11.
5徐章艳,汤服成,李凡.基于经典逻辑系统的模糊推理方法[J].模糊系统与数学,2004,18(z1):296-299. 被引量：1
6林谦.Kleene代数的诱导子代数及理想[J].应用数学,2002,15(S1):43-45.
7朱怡权,牛冀平.蕴涵格的同余关系及熵蕴涵格[J].应用数学,2001,14(S1):175-179.
8潘正华.模糊推理算法的数学原理[J].计算机研究与发展,2008,45(z1):165-168. 被引量：15
9刘云峰,刘华峰.不确定混沌系统的变论域直接自适应模糊滑模控制[J].上海航天,2008,25(6):1-7. 被引量：1
10潘湘飞,宋立忠.几种变论域模糊控制收缩因子有效性研究[J].控制工程,2008,15(S2):106-108. 被引量：16

同被引文献139

1裴道武,傅丽.模糊推理三I算法的逻辑基础[J].模糊系统与数学,2004,18(3):1-10. 被引量：11
2何颖俞,王国俊.L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. 被引量：15
3裴道武,王国俊.A semantically complete extension sequence of the system L^ (*)[J].Science in China(Series F),2003,46(2):81-89. 被引量：2
4裴道武.关于形式系统L^(*)的强完备性[J].工程数学学报,2005,22(1):128-132. 被引量：3
5王国俊,秦晓燕,周湘南.一类二值谓词逻辑中公式的准真度理论[J].陕西师范大学学报（自然科学版）,2005,33(1):1-6. 被引量：23
6王伟,王国俊.伪度量L＊-Lindenbaum代数中基本运算的连续性[J].陕西师范大学学报（自然科学版）,2005,33(2):1-4. 被引量：8
7韩诚,周红军.关于形式系统L＊（强）完备性证明的注记[J].陕西师范大学学报（自然科学版）,2005,33(2):9-12. 被引量：6
8王国俊,李璧镜.Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J].中国科学（E辑）,2005,35(6):561-569. 被引量：141
9李洪兴,彭家寅,王加银.常见模糊蕴涵算子的模糊系统及其响应函数[J].控制理论与应用,2005,22(3):341-347. 被引量：25
10王伟,王国俊.论Gdel蕴涵算子不宜用于建立模糊逻辑系统[J].模糊系统与数学,2005,19(2):14-18. 被引量：4

引证文献9

1潘正华,洪龙,朱梧槚.形式系统的语义完全性与语法完全性之间的一些关系[J].南京邮电学院学报（自然科学版）,2005,25(1):55-58.
2裴道武.模糊命题演算系统■~*的简化与独立性[J].模糊系统与数学,2006,20(1):1-10. 被引量：2
3王国俊.计量逻辑学(Ⅰ)[J].工程数学学报,2006,23(2):191-215. 被引量：199
4王国俊.计量逻辑学的基本思想和研究综述[J].模糊系统与数学,2012,26(4):1-11. 被引量：10
5裴道武.模糊逻辑中的一些问题与研究进展[J].四川师范大学学报（自然科学版）,2017,40(3):411-418. 被引量：1
6荣宇音,徐罗山.逻辑系统L~*和BL~*的广义演绎定理的逆定理[J].计算机工程与应用,2019,55(1):47-49. 被引量：1
7郝娇,惠小静,马硕.BL■谓词逻辑系统中相似度计算方法[J].沈阳大学学报（自然科学版）,2022,34(4):328-332.
8鲁星,惠小静,王波.K^(*)∀谓词逻辑系统中相似度及伪距离研究[J].延安大学学报（自然科学版）,2022,41(4):103-107.
9裴道武.关于模糊逻辑与模糊推理逻辑基础问题的十年研究综述[J].工程数学学报,2004,21(2):249-258. 被引量：37

二级引证文献242

1潘正华.模糊推理算法的数学原理[J].计算机研究与发展,2008,45(z1):165-168. 被引量：15
2胡江山.逻辑系统L_3~*中命题的一种真度[J].潍坊学院学报,2009,9(2):72-74.
3龚加安,吴洪博.乘积代数的性质和度量[J].西安文理学院学报（自然科学版）,2009,12(3):1-4.
4胡明娣,王国俊.经典逻辑度量空间上的反射变换[J].陕西师范大学学报（自然科学版）,2009,37(6):1-4. 被引量：13
5王国俊,段巧林.模态逻辑中的(n)真度理论与和谐定理[J].中国科学（F辑:信息科学）,2009,39(2):234-245. 被引量：11
6卢文静.模糊推理系统在汽车温度调节中的应用研究[J].南阳理工学院学报,2013,5(3):119-121.
7陈言江.浅议英语教学中学生语感的培养[J].福建教育学院学报,2005,2(5):70-71.
8许海洋,王万森.人工智能中泛逻辑学的研究[J].计算机应用研究,2005,22(10):13-15. 被引量：2
9裴道武.模糊命题演算系统■~*的简化与独立性[J].模糊系统与数学,2006,20(1):1-10. 被引量：2
10王小平,戴国骏,曾虹.基于CRI算法性能的模糊推理研究[J].计算机与数字工程,2006,34(3):45-47. 被引量：1

1老大中,刘艳芬,李东海,唐多元.基于Monte-Carlo方法的自抗扰控制系统优化设计[J].北京理工大学学报,2004,24(3):226-229. 被引量：4
2裴道武,王三民.形式系统L~*(n)的完备性[J].高校应用数学学报（A辑）,2001,16(3):253-262. 被引量：10
3应明生.模糊逻辑的紧致性[J].科学通报,1998,43(4):379-383. 被引量：9
4YING Mingsheng Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China.Compactness in fuzzy logic[J].Chinese Science Bulletin,1998,43(14):1166-1171. 被引量：1
5张琼,吴洪博.BL~＊系统的一种扩张及相关性质[J].计算机工程与应用,2010,46(19):36-38. 被引量：1
6裴道武.强正则剩余格值逻辑系统L^N及其完备性[J].数学学报（中文版）,2002,45(4):745-752. 被引量：14
7韩诚.∧~*系统的公理化扩张[J].模糊系统与数学,2006,20(5):20-24.
8Xu, Y,Qin, KY,Song, ZM.Syntax of first-order lattice valued logic system FM[J].Chinese Science Bulletin,1997,42(16):1337-1340. 被引量：4
9潘小东.剩余格上的L滤子[J].模糊系统与数学,2014,28(3):1-6.
10裴道武,王国俊.A semantically complete extension sequence of the system L^ (*)[J].Science in China(Series F),2003,46(2):81-89. 被引量：2

中国科学（E辑）

2003年第4期

浏览历史

内容加载中请稍等...

形式系统L^＊的扩张Ln^＊及其完备性被引量：9

参考文献16

二级参考文献34

共引文献793

同被引文献139

引证文献9

二级引证文献242

相关作者

相关机构

相关主题

浏览历史

形式系统L^＊的扩张Ln^＊及其完备性 被引量：9

参考文献16

二级参考文献34

共引文献793

同被引文献139

引证文献9

二级引证文献242

相关作者

相关机构

相关主题

浏览历史

形式系统L^＊的扩张Ln^＊及其完备性被引量：9