Partial Horn logic and cartesian categories

Erik Palmgren, Steven J. Vickers. Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 145(3):314-353, 2007. [doi]

Abstract

Abstract is missing.