Interpolation and Quantifiers in Ortholattices

Simon Guilloud, Sankalp Gambhir, Viktor Kunčak

We study quantifiers and interpolation properties in \emph{orthologic}, a non-distributive weakening of classical logic that is sound for formula validity with respect to classical…