Erik Palmgren, Steven J. Vickers. Partial Horn logic and cartesian categories. Annals of Pure and Applied Logic, 145(3):314-353, 2007. [doi]
@article{PalmgrenV07,
title = {Partial Horn logic and cartesian categories},
author = {Erik Palmgren and Steven J. Vickers},
year = {2007},
doi = {10.1016/j.apal.2006.10.001},
url = {http://dx.doi.org/10.1016/j.apal.2006.10.001},
tags = {logic},
researchr = {https://researchr.org/publication/PalmgrenV07},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {145},
number = {3},
pages = {314-353},
}