| 原子布尔代数理论的计算复杂性 |
| |
| 引用本文： | 薛锐. 原子布尔代数理论的计算复杂性[J]. 北京师范大学学报(自然科学版), 1998, 34(4): 445-449 |
| |
| 作者姓名： | 薛锐 |
| |
| 作者单位： | 北京师范大学数学系 |
| |
| 摘 要： | 运用Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅｓ理论给出原子布尔代数理论的一个判定过程及其复杂度，并说明这个过程在初等等价意义下是最优的。
|
| 关 键 词： | 计算复杂性 原子布尔代数 数理逻辑 布尔代数 |
ON THE COMPUTATIONAL COMPLEXITY OF THE THEORY OF ATOMIC BOOLEAN ALGEBRAS |
| |
| Xue Rui. ON THE COMPUTATIONAL COMPLEXITY OF THE THEORY OF ATOMIC BOOLEAN ALGEBRAS[J]. Journal of Beijing Normal University(Natural Science), 1998, 34(4): 445-449 |
| |
| Authors: | Xue Rui |
| |
| Abstract: | A decision proedure for atomic Boolean algebras is proposed by making use of Ehrenfeucht Game theory, and the computational complexity is analyzed. The procedure is optimal under elementary equivalence. |
| |
| Keywords: | decidability elementary equivalence Ehrenfeucht Game computational complexity |
| 本文献已被 CNKI 维普 等数据库收录！ |
