| 关于逻辑运算"→"和BCK运算"*" |
| |
| 引用本文： | 徐少贤. 关于逻辑运算"→"和BCK运算"*"[J]. 南阳师范学院学报, 2002, 1(6): 19-20,35 |
| |
| 作者姓名： | 徐少贤 |
| |
| 作者单位： | 南阳师范学院,数学系,河南,南阳,473061 |
| |
| 摘 要： | K.Iseki和S.Tanaka在文[1]中提出了正蕴函BCK－代数的概论，以此研究了数理逻辑中逻辑运算“→”的若干性质，进而探讨了逻辑运算“→”与BCK－代数中运算“*”之间的关系。
|
| 关 键 词： | 逻辑运算 BCK运算 数理逻辑 逻辑联结构 正蕴涵BCK－代数 代数运算 |
| 文章编号： | 1671-6132(2002)06-0019-02 |
On the Mathematical Logic Operation "→" and BCK Operation "*" |
| |
| XU Shao xian. On the Mathematical Logic Operation "→" and BCK Operation "*"[J]. Journal of Nanyang Teachers College, 2002, 1(6): 19-20,35 |
| |
| Authors: | XU Shao xian |
| |
| Abstract: | |
| |
| Keywords: | mathematical logic logical connective positive implic ative BCK algebra algebraic operation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
