| 弱MV-代数与IMTL代数的关系及IMTL公理系统的简化 |
| |
| 引用本文： | 马晓珏.弱MV-代数与IMTL代数的关系及IMTL公理系统的简化[J].宝鸡文理学院学报(自然科学版),2004,24(1):12-14. |
| |
| 作者姓名： | 马晓珏 |
| |
| 作者单位： | 陕西师范大学,数学与信息科学学院,陕西,西安,710062 |
| |
| 摘 要： | 证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条.
|
| 关 键 词： | 弱MV-代数 IMTL代数 弱R0-代数 格蕴涵代数 IMTL公理系统 L*0公理系统 |
| 文章编号： | 1007-1261(2004)01-0012-03 |
| 修稿时间： | 2003年11月7日 |
Relation between weak MV-algebra and IMTL algebra and the simplification of IMTL axiom system |
| |
| MA Xiao-jue.Relation between weak MV-algebra and IMTL algebra and the simplification of IMTL axiom system[J].Journal of Baoji College of Arts and Science(Natural Science Edition),2004,24(1):12-14. |
| |
| Authors: | MA Xiao-jue |
| |
| Abstract: | 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. |
| |
| Keywords: | weak MV-algebra IMTL-algebra weak R_0-algebra lattice implication algebra IMTL axiom system L~*_0 axiom system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
