弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

Relation between weak MV-algebra and IMTL algebra and the simplification of IMTL axiom system

下载PDF

导出

摘要证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。 It is proved that weak MV-algebras and IMTL-algebras are equivalent,and the IMTL axiom system is simplified from 11 items to 8 items.

作者马晓珏

机构地区陕西师范大学数学与信息科学学院

出处《宝鸡文理学院学报（自然科学版）》 CAS 2004年第1期12-14,共3页 Journal of Baoji University of Arts and Sciences(Natural Science Edition)

关键词弱MV-代数 IMTL代数弱R0-代数格蕴涵代数 IMTL公理系统 L^＊0公理系统 weak MV-algebra IMTL-algebra weak R_0-algebra lattice implication algebra IMTL axiom system L~*_0 axiom system

分类号 O159 [理学—基础数学]

引文网络
相关文献

参考文献2

1王国俊.MV-代数、BL-代数、R_0-代数与多值逻辑[J].模糊系统与数学,2002,16(2):1-15. 被引量：149
2裴道武.R_0代数公理系统的简化与独立性[J].陕西师范大学学报（自然科学版）,2002,30(3):5-9. 被引量：22

二级参考文献24

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王国俊.一类代数上的逻辑学(Ⅱ)[J].陕西师范大学学报（自然科学版）,1997,25(3):1-8. 被引量：43
10王国俊.修正的Kleene系统中的Σ-(α-重言式)理论[J].中国科学（E辑）,1998,28(2):146-152. 被引量：131

共引文献163

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覃锋.R_0-代数的理想与其定义的简化[J].陕西师范大学学报（自然科学版）,2004,32(3):18-21. 被引量：14
6张花荣,王龙春.LFI代数的性质及其与剩余格的关系[J].模糊系统与数学,2004,18(4):13-17. 被引量：1
7薛占熬,何华灿.粗糙蕴涵[J].计算机科学,2003,30(11):18-20. 被引量：4
8张小红,薛占熬,马盈仓.R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想[J].工程数学学报,2005,22(2):287-294. 被引量：16
9傅丽,雷红轩.Hilbert代数的若干注记[J].云南师范大学学报（自然科学版）,2005,25(3):1-3.
10罗敏霞,何华灿.一种泛逻辑代数系统[J].计算机工程与应用,2005,41(14):21-22. 被引量：7

1吴霞,张家录.IMTL代数上的素布尔模糊滤子及其运算[J].模糊系统与数学,2009,23(3):42-49. 被引量：1
2吴正江,秦克云.基于完备IMTL代数的L模糊粗糙集[J].模糊系统与数学,2008,22(3):156-159.
3刘贤江,张家录.IMTL代数上的素布尔滤子格[J].数学理论与应用,2008,28(3):61-64.
4夏秀云,秦克云,王晔.粗集代数与IMTL代数关系[J].西南民族大学学报（自然科学版）,2009,35(6):1136-1138. 被引量：4

宝鸡文理学院学报（自然科学版）

2004年第1期

浏览历史

内容加载中请稍等...

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

参考文献2

二级参考文献24

共引文献163

相关作者

相关机构

相关主题

浏览历史