摘要 | 第1-4页 |
ABSTRACT | 第4-8页 |
绪论 | 第8-12页 |
·研究背景 | 第8-11页 |
·本文组织结构 | 第11-12页 |
第一章 BCK代数概述 | 第12-21页 |
·BCK代数的概念及一些基本性质 | 第12-13页 |
·可换BCK代数 | 第13-15页 |
·有界BCK代数 | 第15-18页 |
·正定关联BCK代数 | 第18-19页 |
·关联BCK代数 | 第19-21页 |
第二章 格及逻辑代数简介 | 第21-33页 |
·格 | 第21-24页 |
·格的定义 | 第21-23页 |
·模格与分配格 | 第23-24页 |
·De Morgan代数 | 第24-25页 |
·Fuzzy蕴涵代数 | 第25-27页 |
·格蕴涵代数 | 第27-29页 |
·Boole代数 | 第29-30页 |
·Heyting代数 | 第30-31页 |
·R_0代数 | 第31-33页 |
第三章 BCK代数与FI等代数的关系 | 第33-37页 |
·BCK代数与FI代数的关系 | 第33-34页 |
·有界交换BCK代数与格蕴涵代数的关系 | 第34-35页 |
·有界交换BCK代数与MV代数的关系 | 第35-37页 |
第四章 BOK代数与De Morgan等代数的关系 | 第37-46页 |
·有界可换BCK代数与De Morgan代数的关系 | 第37-41页 |
·关联BCK代数与伪补分配格、Stone代数、Nelson代数的关系 | 第41-43页 |
·关联BCK代数与Heyting代数的关系 | 第43-45页 |
·小结 | 第45-46页 |
致谢 | 第46-47页 |
参考文献 | 第47-50页 |
附录(A) | 第50页 |