{"id":"arxiv/2601.11221","url":"https://arxiv.org/abs/2601.11221","tags":["math.LO","math.CT"],"score":0,"title":"Craig Interpolation for Subgeometric Logics","domain":"math.LO","source":"arxiv","authors":["Ivan Di Liberti","Lingyuan Ye"],"reviews":0,"subject":"math.LO","summary":"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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-16","reactions":{}}