论文部分内容阅读
目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。结果探求推理闭包空间的初步性质和模糊命题演算系统的基本性质。结论通过推理闭包空间的建立,丰富了模糊逻辑的研究方法,沟通了拓扑学和逻辑学之间的联系。