George Voutsadakis Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2005, v:44, n:4, pp:473-491 [Journal]
George Voutsadakis Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic. [Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2004, v:12, n:4, pp:313-333 [Journal]
George Voutsadakis On The Limit Cycle Structure Of Threshold Boolean Networks Over Complete Graphs. [Citation Graph (0, 0)][DBLP] Int. J. Neural Syst., 2004, v:14, n:3, pp:209-215 [Journal]
George Voutsadakis Categorical abstract algebraic logic: The criterion for deductive equivalence. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2003, v:49, n:4, pp:347-352 [Journal]
George Voutsadakis Categorical abstract algebraic logic: Gentzen pi -institutions and the deduction-detachment property. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:6, pp:570-578 [Journal]
George Voutsadakis Corrigendum to "Categorical abstract algebraic logic: The criterion for deductive equivalence". [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2005, v:51, n:6, pp:644- [Journal]
George Voutsadakis Categorical abstract algebraic logic: The largest theory system included in a theory family. [Citation Graph (0, 0)][DBLP] Math. Log. Q., 2006, v:52, n:3, pp:288-294 [Journal]