Fibered Universal Algebra for First-Order Logics

Colin Bloomfield, Yoshihiro Maruyama

We extend Lawvere-Pitts prop-categories (aka. hyperdoctrines) to develop a general framework for providing "algebraic" semantics for nonclassical first-order logics. This framework…