Craig Interpolation for Subgeometric Logics

arXiv (Cornell University) 2026 Preprint Open access

Read full text
Authors: Ivan Di Liberti, Lingyuan Ye
DOI: 10.48550/arxiv.2601.11221
Cited by: 0

Abstract

We show that a vast class of finitary fragments of geometric logic admit a form of Craig interpolation property. In doing so, we provide a new dictionary to import technology from algebraic logic to categorical logic.

Fields of Study & Subjects

Advanced Algebra and Logic Advanced Topology and Set Theory Logic Reasoning and Knowledge

Publication details

Journal / source
arXiv (Cornell University)
Publication date
16 January 2026
Document type
Preprint