一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性 |
| |
引用本文: | 杨志红.一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性[J].郑州航空工业管理学院学报(管理科学版),1994(2). |
| |
作者姓名: | 杨志红 |
| |
摘 要: | 我们在文1]中的基B_L上引入代数结构形成一个布尔代数,并给出布尔代数的一些重要子集。构造了一个完全理论,即文1]中S的一个元。证明了B_L是一个完全布尔代数的子代数,并在这个子代数中给出一个不弱于一阶逻辑紧致性定理的条件。本文给出了等式逻辑中簇在被等式集公理化时所体现出的与点集拓朴的紧致性相类似的性质。
|
关 键 词: | 布尔代数 数理逻辑 紧致性 |
本文献已被 CNKI 等数据库收录! |
|