| 格蕴涵代数的一个简化公理系 |
| |
| 引用本文： | 朱怡权,曹喜望.格蕴涵代数的一个简化公理系[J].黄冈师范学院学报,2000,20(3):6-8. |
| |
| 作者姓名： | 朱怡权 曹喜望 |
| |
| 作者单位： | 黄冈师范学院数学系，湖北黄州438000 |
| |
| 基金项目： | 湖北省教委科学研究自然科学类重点项目资助课题 !98A0 67 |
| |
| 摘 要： | 将格蕴涵代数的公理系由原来的19条公理简化为7条公理，从而为检验一个（2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。
|
| 关 键 词： | 格蕴涵代数 BCK－代数 Fuzzy格 公理系 |
On a simplified axiomatics of lattice implication algebras |
| |
| ZHU Yi quan,CAO Xi wang.On a simplified axiomatics of lattice implication algebras[J].Journal of Huanggang Normal University,2000,20(3):6-8. |
| |
| Authors: | ZHU Yi quan CAO Xi wang |
| |
| Abstract: | We presented a simplified axiomatics of lattice implication algebras,which is convenient to examine whether an algebra of type(2,2,2,1,0,0) becomes a lattice implication algebra. |
| |
| Keywords: | lattice implication algebra BCK algebra Fuzzy lattice |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
