时态及相关算子的多值方面
逻辑
2025-04-25 v1 范畴论
摘要
我们的研究建立在 Halmos 关于函数一元布尔代数的基础工作以及我们先前关于时态算子的工作之上，发展了三种基本构造，包括模糊集和幂集算子等重要概念。这些构造在当代数学学科中有着广泛的应用，包括代数、逻辑和拓扑。我们提出的框架生成了四个协变函子和两个反变函子，建立了三个伴随情形。
引用
@article{arxiv.2504.17654,
title = {Many-valued aspects of tense an related operators},
author = {Michal Botur and Jan Paseka and Richard Smolka},
journal= {arXiv preprint arXiv:2504.17654},
year = {2025}
}