| 有界BCK—代数的一个简化公理系统 |
| |
| 引用本文： | 杨永保.有界BCK—代数的一个简化公理系统[J].西北师范大学学报,1993,29(3):16-19. |
| |
| 作者姓名： | 杨永保 |
| |
| 作者单位： | 西北师范大学数学系 |
| |
| 摘 要： | 给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.
|
| 关 键 词： | 有界 BCK代数 模糊蕴涵 |
A Simple Axiom System of Bounded BCK-algebra |
| |
| Yang Yongbao.A Simple Axiom System of Bounded BCK-algebra[J].Journal of Northwest Normal University Natural Science (Bimonthly),1993,29(3):16-19. |
| |
| Authors: | Yang Yongbao |
| |
| Institution: | Department of Mathematics |
| |
| Abstract: | a new axiom system of bounded BCK-algebra is give in this paper,and each axiom is proved independent in the axiom system. |
| |
| Keywords: | Bounded BCK-algebra Fuzzy implication algebra |
| 本文献已被 CNKI 维普 等数据库收录！ |
