关于抽象逻辑紧致性的一个定理 (2000年)

以模糊语义为背景,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念,证明了具有这种连续性的抽象语义是紧致的,由此可以推出取值于[0 ,1]的Lukasiewicz语义是紧致的