The paper aims to develop a framework for coalgebraic fuzzy geometric logic by adding modalities to the language of fuzzy geometric logic. Using the methods of coalgebra, the modal operators are introduced in the language of fuzzy geometric logic. To define the modal operators, we introduce a notion of fuzzy-open predicate lifting. Based on coalgebras for an endofunctor $T$ on the category $\textbf{Fuzzy-Top}$ of fuzzy topological spaces and fuzzy continuous maps, we build models for the coalgebraic fuzzy geometric logic. Bisimulations for the defined models are discussed in this work.
翻译：本文旨在为煤热模糊的几何逻辑制定一个框架,在模糊的几何逻辑语言中添加模式。 使用煤热逻辑的方法, 模型操作员被引入模糊的几何逻辑的语言。 为了定义模型操作员, 我们引入了一个模糊的开放的上游升降概念。 基于在模糊的地形空间和模糊的连续地图类别$\ textbf{Fuzzy-Top}一美元等值外加的煤热值, 我们为煤热模糊模糊的几何逻辑构建模型。 本文讨论了定义模型的模拟。
相关内容
微信扫码咨询专知VIP会员