| m+1阶波斯特代数公理化的讨论 |
| |
| 引用本文： | 黄廷章. m+1阶波斯特代数公理化的讨论[J]. 潍坊学院学报, 2002, 2(2): 20-23 |
| |
| 作者姓名： | 黄廷章 |
| |
| 作者单位： | 潍坊学院,数学系,山东,潍坊,261041 |
| |
| 摘 要： | 本文对m 1阶波斯特代数进行了公理化的讨论，通过讨论，清楚地看到了m 1阶逻辑代数具有代数的可靠性定理和完全性定理。
|
| 关 键 词： | 逻辑 子链 分配格 二元运算 m＋1阶 波斯特代数 可靠性定理 完全性定理 |
| 文章编号： | 1671-4288(2002)02-0020-04 |
| 修稿时间： | 2001-11-18 |
The discussion of postile''''s algebra of (m+1)th-order |
| |
| HUANG Ting-zhang. The discussion of postile''''s algebra of (m+1)th-order[J]. Journal of Weifang University, 2002, 2(2): 20-23 |
| |
| Authors: | HUANG Ting-zhang |
| |
| Abstract: | |
| |
| Keywords: | Logic Subchain Distributive Lattice Binary Operation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
