G-R型模糊命题逻辑系统完备的一个充分必要条件

An iff Condition for the Completeness of the Fuzzy Logic System

下载PDF

导出

摘要引入基模糊公式的概念 ,在 Gaines- Rescher蕴涵算子下。 Introduced the conception of fuzzy basiformula,an iff condition for the completeness of the fuzzy logic system is obtained under the Gaines Rescher′s implication operator.

作者杨晓斌罗万钧张文修

机构地区上海财经大学应用数学系西安交通大学理学院

出处《模糊系统与数学》 CSCD 2001年第1期55-57,共3页 Fuzzy Systems and Mathematics

关键词基模糊公式模糊逻辑系统完备性 Gaines-Rescher蕴涵算子充要条件 Fuzzy Basiformule Fuzzy Logic System Completeness

分类号 O141 [理学—基础数学] B815.6 [哲学宗教—逻辑学]

引文网络
相关文献

参考文献4

1应明生.模糊逻辑的紧致性[J].科学通报,1998,43(4):379-383. 被引量：9
2王国俊.一类代数上的逻辑学(Ⅱ)[J].陕西师范大学学报（自然科学版）,1997,25(3):1-8. 被引量：43
3王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045. 被引量：194
4王国俊.关于模糊语义紧致性的若干定理[J].科学通报,1999,44(12):1275-1279. 被引量：6

二级参考文献10

1吴望名.关于模糊逻辑的—场争论[J].模糊系统与数学,1995,9(2):1-10. 被引量：58
2陈永义，模糊控制技术及应用实例，1993年
3王世强，科学通报，1981年，26卷，2期，71页
4应明生，科学通报，1998年，43卷，3期，379页
5王国俊，陕西师范大学学报，1997年，25卷，1期，1页
6吴望名，模糊推理的原理和方法，1994年
7Ying Mingsheng，Zeitschr f Math Logic und Grundlagen d Math，1992年，38卷，197页
8王国俊，L-fuzzy拓扑空间论，1988年
9王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045. 被引量：194
10应明生.模糊逻辑的紧致性[J].科学通报,1998,43(4):379-383. 被引量：9

共引文献212

1张安英,于兴江,张兴芳.基于正则蕴涵算子的条件α-重言式理论[J].鲁东大学学报（自然科学版）,2007,23(2):104-107.
2朱怡权,牛冀平.蕴涵格的同余关系及熵蕴涵格[J].应用数学,2001,14(S1):175-179.
3杜振华,杨芙云.电气装配可靠性工艺研究[J].舰船科学技术,2006,28(z1):69-72. 被引量：2
4潘小东,徐扬.有限格值命题逻辑的语义理论[J].中国科学：信息科学,2010,40(11):1417-1427.
5张家录.形式演绎系统L~*的运算与弱演绎定理[J].湘南学院学报,2004,25(2):25-29.
6王国俊,钱桂生,党创寅.命题演算系统L~*与谓词演算系统κ~*中统一的近似推理理论[J].中国科学（E辑）,2004,34(10):1110-1122. 被引量：13
7何颖俞,王国俊.L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. 被引量：15
8吴洪博,王小敏,韩诚.L^＊系统中的模糊演绎定理的改进形式[J].四川大学学报（自然科学版）,2005,42(1):27-32. 被引量：8
9刘用麟,刘三阳.R_0-代数的正规MP-理想[J].西安电子科技大学学报,2005,32(1):139-141. 被引量：1
10辛晓东.蕴涵算子及二值逻辑系统的扩充[J].榆林高等专科学校学报,2000,10(1):63-68. 被引量：1

1陈图云,孟艳平,吴凤干.扰动模糊命题逻辑系统中的广义重言式[J].模糊系统与数学,2005,19(4):86-89. 被引量：2
2单继刚.唯物史观的“唯”:陈独秀与胡适、张君劢、梁启超之争[J].中国哲学史,2010(3):105-114. 被引量：1
3孙志逵.对普通逻辑基本规律的几点思考[J].职大学报,1996(3):67-69.
4郑亚林,白永成,王刚.赋值格为菱形格的4值逻辑系统GR_4~1[J].陕西理工学院学报（社会科学版）,1998,18(6):6-8.
5周保魁,王国俊.不同蕴涵算子下的三Ⅰ算法[J].陕西师大学报（自然科学版）,1998,26(4):1-5. 被引量：19
6黎丽.Lukasiewicz模糊命题逻辑系统的计量化与近似推理[J].中国科技论文,2016,11(5):586-590.
7郑亚林,白永成,黄宏科,黄德隆.基于带Fuzzy壳Boole代数和修正的Gaines-Rescher蕴涵算子的险象识别逻辑[J].宝鸡文理学院学报（自然科学版）,2000,20(2):81-86.
8杨晓斌,张文修.模糊命题逻辑系统中的代换定理[J].工程数学学报,2003,20(6):101-105. 被引量：1
9朱怡权.关于BR_0-代数的一些新性质[J].宁夏大学学报（自然科学版）,2009,30(2):105-108.
10鞠实儿.逻辑学的问题与未来[J].中国社会科学,2006(6):49-54. 被引量：14

模糊系统与数学

2001年第1期

浏览历史

内容加载中请稍等...

G-R型模糊命题逻辑系统完备的一个充分必要条件

参考文献4

二级参考文献10

共引文献212

相关作者

相关机构

相关主题

浏览历史