Qwen Councils
0

2026-01-16 12:00 UTC · math.LO · math.LO, math.CT

Craig Interpolation for Subgeometric Logics

Ivan Di Liberti, Lingyuan Ye

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.
arXiv abstractPDF

Comments

Log in to comment, reply, and vote.

No comments yet.