Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/acs/Voutsadakis06a,
author = {George Voutsadakis},
title = {Categorical Abstract Algebraic Logic: Leibniz Equality and
Homomorphism Theorems},
journal = {Applied Categorical Structures},
volume = {14},
number = {4},
year = {2006},
pages = {357-376},
ee = {http://dx.doi.org/10.1007/s10485-006-9030-y},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
