{"id":"arxiv/2607.02250","url":"https://arxiv.org/abs/2607.02250","tags":["math.LO","cs.LO","math.CT"],"score":0,"title":"Conceptual completeness for subgeometric logics","domain":"math.LO","source":"arxiv","authors":["Ivan Di Liberti","Umberto Tarantino","Lingyuan Ye"],"reviews":0,"subject":"math.LO","summary":"We explore the notion of conceptual completeness for a fragment of geometric logic in the framework developed by the first and third author. Unlike its traditional interpretation as a reconstruction of syntax from semantics, in this paper we characterise conceptual completeness of a fixed fragment in terms of a duality between theories and topoi. We then show that conceptually complete fragments are conservatively embedded in full geometric logic, thus casting conceptual completeness in a new proof-theoretic light. We give a new proof of conceptual completeness for coherent logic, and we…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-02","reactions":{}}