George Voutsadakis Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems. 81-98 2006 14 Applied Categorical Structures 1 http://dx.doi.org/10.1007/s10485-005-9006-3 db/journals/acs/acs14.html#Voutsadakis06