Categorical Abstract Algebraic Logic Metalogical Properties
From Tetherless World Wiki
\begin{bibtex} @article{DBLP:journals/sLogica/Voutsadakis03a,
author = {George Voutsadakis},
title = {Categorical Abstract Algebraic Logic Metalogical Properties},
journal = {Studia Logica},
volume = {74},
number = {3},
year = {2003},
pages = {369-398},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
