赋值为R_0-模糊集的逻辑系统被引量：1

The Logic System with R_0-fuzzy Set Valuations

下载PDF

导出

摘要研究了赋值为 R0 -模糊集逻辑系统 W X 的语义理论 ,得到了若干结果 ,特别是对 W X 而言 ,F(S)中的α-重言式类只有 1 / 2 The logic system with R0-fuzzy set valuations is studied. Some results are obtained. Especially, in this system there are only two α- tautologies: 1/2-tautologies and tautologies.

作者王向云

机构地区陕西师范大学数学系

出处《工程数学学报》 EI CSCD 北大核心 2001年第1期78-82,共5页 Chinese Journal of Engineering Mathematics

关键词模糊逻辑 R0-代数 R0方体 Α-重言式 α-MR α-HS R0-模糊集

分类号 O141.1 [理学—基础数学]

引文网络
相关文献

参考文献4

1郑亚林,张文修.赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2[J].模糊系统与数学,1999,13(3):52-56. 被引量：1
2郑亚林,张文修.赋值格为非线性序的一种6值逻辑系统K6^1[J].工程数学学报,1999,16(2):89-93. 被引量：2
3王国俊.修正的Kleene系统中的Σ-(α-重言式)理论[J].中国科学（E辑）,1998,28(2):146-152. 被引量：131
4杨晓斌,张文修.Lukasiewicz系统中的广义重言式理论[J].陕西师大学报（自然科学版）,1998,26(4):6-9. 被引量：32

二级参考文献24

1王国俊.模糊逻辑：推理“细致化”[J].国际学术动态,1995(5):33-34. 被引量：6
2张文修梁广锡.模糊控制与系统[M].西安:西安交通大学出版社,1997..
3王国俊，第四届全国计算机应用联合学术会议论文集，1997年，1108页
4王国俊，J Fuzzy Math，1997年，5卷，1期，229页
5王国俊，陕西师大学报，1997年，25卷，1期，1页
6王国俊，陕西师大学报，1997年，25卷，3期，1页
7王国俊，Lecture Notes in Fuzzy Mathematics and Computer Science，1997年
8张文修，不确定性推理原理，1997年
9陈永义，模糊控制技术及应用实例，1993年
10Ying M S，Z Math Logik Grundlagen Math，1992年，38卷，197页

共引文献138

1林谦.Kleene代数的诱导子代数及理想[J].应用数学,2002,15(S1):43-45.
2王国俊,时慧娴.n值逻辑系统L_n~*中广义重言式的计量化研究[J].陕西师范大学学报（自然科学版）,2009,37(2):1-5. 被引量：8
3杜振华,杨芙云.电气装配可靠性工艺研究[J].舰船科学技术,2006,28(z1):69-72. 被引量：2
4辛晓东.非线性序逻辑系统~2中的重言式[J].固原师专学报,2002,23(3):1-5.
5马盈仓,何华灿,薛占熬.泛逻辑的中极形式系统中的广义重言式理论[J].计算机工程与应用,2004,40(35):15-16. 被引量：1
6裴道武.关于形式系统L^(*)的强完备性[J].工程数学学报,2005,22(1):128-132. 被引量：3
7王国俊,秦晓燕,周湘南.一类二值谓词逻辑中公式的准真度理论[J].陕西师范大学学报（自然科学版）,2005,33(1):1-6. 被引量：23
8刘练珍,李开泰.修正的Product逻辑系统中的广义重言式理论[J].模糊系统与数学,2005,19(1):12-17. 被引量：10
9程贞敏,尤飞,李洪兴.Kleene蕴涵算子的导出算子的n值逻辑系统I_n[J].模糊系统与数学,2005,19(1):18-21.
10王伟,王国俊.伪度量L＊-Lindenbaum代数中基本运算的连续性[J].陕西师范大学学报（自然科学版）,2005,33(2):1-4. 被引量：8

同被引文献20

1何颖俞,王国俊.L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式[J].工程数学学报,1998,15(1):1-8. 被引量：15
2徐扬.格蕴涵代数与BCK代数的关系[J].模糊系统与数学,1997,11(1):10-15. 被引量：10
3刘军徐扬.格蕴涵代数中的性质（P）的讨论[J].兰州大学学报,1996,32:344-348.
4裴道武.R0代数中的MP滤子与同余关系[J].模糊系统与数学,2002,19:22-25.
5李志伟李佳华.Fuzzy蕴涵代数的若干性质[J].模糊系统与数学,2000,14:19-21.
6裴道武.基于形式系统L^*的模糊逻辑与模糊推理的研究[M].成都:四川大学,2000..
7徐扬秦克云.格蕴涵代数的格论性质.应用数学文集[M].成都:成都科技大学出版社,..
8王国俊.模糊命题演算的一种形式演绎系统[J].科学通报,1997,42(10):1041-1045. 被引量：194
9王国俊.修正的Kleene系统中的Σ-(α-重言式)理论[J].中国科学（E辑）,1998,28(2):146-152. 被引量：131
10刘练珍,王国俊.Fuzzy蕴涵代数与MV代数[J].模糊系统与数学,1998,12(1):20-25. 被引量：83

引证文献1

1王国俊.MV-代数、BL-代数、R_0-代数与多值逻辑[J].模糊系统与数学,2002,16(2):1-15. 被引量：150

二级引证文献150

1彭家寅,刘淼,汤建钢.基于完备剩余格值逻辑的BCI-代数的三种模糊理想[J].模糊系统与数学,2023,37(4):1-16.
2陈世联,杨凤藻.有界关联BCK代数的性质与刻画[J].昆明理工大学学报（理工版）,2004,29(4):231-233. 被引量：1
3王保社.关于R_0代数的布尔元[J].咸阳师范学院学报,2004,19(4):11-13. 被引量：1
4苏忍锁.R_0-代数与MV-代数的关系[J].西北农林科技大学学报（自然科学版）,2004,32(10):145-148. 被引量：4
5张花荣,王龙春.LFI代数的性质及其与剩余格的关系[J].模糊系统与数学,2004,18(4):13-17. 被引量：1
6薛占熬,何华灿.粗糙蕴涵[J].计算机科学,2003,30(11):18-20. 被引量：4
7张小红,薛占熬,马盈仓.R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J].工程数学学报,2005,22(2):287-294. 被引量：16
8罗敏霞,何华灿.一种泛逻辑代数系统[J].计算机工程与应用,2005,41(14):21-22. 被引量：7
9任芳.L^＊系统中由单个原子生成的公式的真值函数的特征[J].工程数学学报,2005,22(3):563-566. 被引量：12
10郑慕聪,王国俊.正则余剩余格的特征及其应用[J].自然科学进展,2005,15(5):617-620. 被引量：8

1王国俊,王伟.逻辑度量空间[J].数学学报（中文版）,2001,44(1):159-168. 被引量：139
2于鸿丽.多值逻辑系统H_α中的重言式分类定理[J].西安文理学院学报（自然科学版）,2008,11(3):36-39. 被引量：1
3辛晓东.非线性序逻辑系统~2中的重言式[J].固原师专学报,2002,23(3):1-5.
4陈图云,李慧玲.直觉模糊命题逻辑公式的概率真度[J].辽宁师范大学学报（自然科学版）,2006,29(4):388-389. 被引量：1
5郑亚林,白永成,王刚.赋值格为菱形格的4值逻辑系统GR_4~1[J].陕西理工学院学报（社会科学版）,1998,18(6):6-8.
6陈图云,汪德刚.模糊模态命题逻辑的语义[J].辽宁师范大学学报（自然科学版）,2003,26(4):341-343. 被引量：4
7任芳,刘新颜.关于正则蕴涵算子[J].西北大学学报（自然科学版）,2005,35(6):673-676. 被引量：3
8郑亚林.Fuzzy逻辑新进展[J].宝鸡文理学院学报（自然科学版）,2000,20(1):12-15.
9吴凤干.直觉模糊命题逻辑公式的真度[J].金陵科技学院学报,2006,22(4):12-15.
10杨晓斌,张文修.Lukasiewicz多值逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(1):8-12. 被引量：26

工程数学学报

2001年第1期

浏览历史

内容加载中请稍等...

赋值为R_0-模糊集的逻辑系统被引量：1

参考文献4

二级参考文献24

共引文献138

同被引文献20

引证文献1

二级引证文献150

相关作者

相关机构

相关主题

浏览历史

赋值为R_0-模糊集的逻辑系统 被引量：1

参考文献4

二级参考文献24

共引文献138

同被引文献20

引证文献1

二级引证文献150

相关作者

相关机构

相关主题

浏览历史

赋值为R_0-模糊集的逻辑系统被引量：1