余代数谓词逻辑的模型论与证明论
摘要：关于Set-coalgebras类型结构的一种自然且通用的对应语言的一般化。我们讨论了几个这种逻辑的自然类的公理化和完备性结果。此外，我们展示了完全性普遍性结果是不可能的。我们研究了我们的语言在表达能力方面的能力，既与coalgebra混合逻辑比较，也与现有的针对Set-coalgebras特殊类的一阶提案比较（除了关系结构，还有邻域框架和拓扑空间）。基本的模型论构造和结果，特别是超产品，对两个允许完备性的类都起效——在某些情况下还超出了这一范畴。最后，我们讨论了一种基本的序列系统，并建立了语法切除结果。
作者：Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schr"oder
论文ID：1701.03773
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22