论文标题
结骨模糊的几何逻辑
Coalgebraic Fuzzy geometric logic
论文作者
论文摘要
该论文旨在通过将模糊几何逻辑语言添加模态来开发一个构框模糊几何逻辑。使用煤层的方法，以模糊的几何逻辑的语言引入了模态算子。为了定义模态操作员，我们引入了模糊开放的谓词举重的概念。基于类别$ \ textbf {fuzzy-top} $模糊拓扑空间和模糊连续地图的类别$ \ textbf {fuzzy-top} $ t $ t $ t $ the的基础，我们为colagebraic Fuzzy几何逻辑构建了模型。在这项工作中讨论了定义模型的两次仿真。
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.
