关于模糊语义紧致性的若干定理

较系统地分析了抽象公式集上的模糊语义及其所导出的逻辑结论算子的各种紧致性之间的关系,在适当的条件下证明了模糊语义的紧致性和逻辑紧致性分别与它所导出的逻辑结论算子的紧致性和连续性等价.又,在公式集为自由代数的情况下给出了模糊语义紧致性的一个一般性定理,证明了凡由连续函数生成的模糊语义都是紧致的.