Craig Interpolation for Subgeometric Logics

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.

Some minor revisions; fixed cleveref problem