论文部分内容阅读
研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ等价于一个开式子.定理2 无原子布氏代数的初等型Γ(x1,…,xn)是由型内的不含量词的全体开式子所唯一决定.定理3 无原子布氏代数的一个长度为n的语句的判断过程所消耗的Turing时间和空间都是属于22cn指数级.