余代数几何逻辑：基本理论
摘要：使用coalgebra理论，我们引入了一个统一的框架来为命题几何逻辑的语言添加模态。这个逻辑的模型基于拓扑空间及连续函数范畴的某个全子范畴上的endofunctor的coalgebras。我们研究了这种几何模态逻辑的推导系统、正确性和完备性，我们指定了一种将Set上的endofunctor和一组谓词lifting提升到拓扑空间范畴上的endofunctor和一组（开放的）谓词lifting的方法。此外，我们比较了模态等价、行为等价和仿真在结果模型类上的概念，并为相应范畴提供了一个最终对象。
作者：Nick Bezhanishvili, Jim de Groot, Yde Venema
论文ID：1903.08837
分类：Logic
分类简称：math.LO
提交时间：2023-06-22