期刊
ANNALS OF PURE AND APPLIED LOGIC
卷 175, 期 2, 页码 -出版社
ELSEVIER
DOI: 10.1016/j.apal.2023.103388
关键词
Polyadic spaces; Categorical logic; Stone duality; Hyperdoctrines; Interpolation; Compact ordered spaces
This paper studies first-order coherent logic from the perspective of duality and categorical logic. It proves a duality theorem between coherent hyperdoctrines and open polyadic Priestley spaces, which is subsequently used to prove completeness, omitting types, and Craig interpolation theorems for coherent or intuitionistic logic. The approach emphasizes the importance of interpolation and openness properties and allows for a modular, syntax-free treatment of these model-theoretic results.
This paper is a study of first-order coherent logic from the point of view of duality and categorical logic. We prove a duality theorem between coherent hyperdoctrines and open polyadic Priestley spaces, which we subsequently apply to prove completeness, omitting types, and Craig interpolation theorems for coherent or intuitionistic logic. Our approach emphasizes the role of interpolation and openness properties, and allows for a modular, syntax-free treatment of these model-theoretic results. As further applications of the same method, we prove completeness theorems for constant domain and Godel-Dummett intuitionistic predicate logics. (c) 2023 Elsevier B.V. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据