论文标题
通用模态代数的对应理论
Correspondence Theory for Generalized Modal Algebras
论文作者
论文摘要
在本文中，我们对广义模态代数和广义模态空间的对应理论进行了系统的研究。本文的特殊特征是，在（右）拓扑结构的Ackermann引理的证明中，可接受的估值不再是Clopen估值，而是集合DK（X）中的值，它仅封闭并满足其他属性，不一定是开放的。这种情况与使用石头/普里斯特利式二重要的现有环境有很大不同，在这些情况下，所有可允许的估值都是可靠的估值。
In the present paper, we give a systematic study of the correspondence theory of generalized modal algebras and generalized modal spaces. The special feature of the present paper is that in the proof of the (right-handed) topological Ackermann lemma, the admissible valuations are not the clopen valuations anymore, but values in the set DK(X) which are only closed and satisfy additional properties, not necessarily open. This situation is significantly different from existing settings using Stone/Priestley-like dualities, where all admissible valuations are clopen valuations.
