| 关于BCK—代数与立体格公理系统 |
| |
| 引用本文： | 邹庭荣. 关于BCK—代数与立体格公理系统[J]. 西北师范大学学报(自然科学版), 1999, 35(1): 19-23 |
| |
| 作者姓名： | 邹庭荣 |
| |
| 作者单位： | 绵阳师范高等专科学校数学系 |
| |
| 摘 要： | 建立了关联ＢＣＫ 代数与立体格公理系统的联系．
|
| 关 键 词： | BCK-代数 立体格 公理系统 符号集 |
On BCK algebra and axiom system of the lattice of faces of cube |
| |
| Zou Tingrong. On BCK algebra and axiom system of the lattice of faces of cube[J]. Journal of Northwest Normal University Natural Science (Bimonthly), 1999, 35(1): 19-23 |
| |
| Authors: | Zou Tingrong |
| |
| Abstract: | The contact has been set up between BCK algebra and axiom system of cubic lattices. |
| |
| Keywords: | BCK algebra n cube lattice axiom system sign set |
| 本文献已被 CNKI 维普 等数据库收录！ |
