On the Completeness Theorem of Many-sorted Equational Logic and the Equivalence between Hall Algebras and Bénabou Theories. - Juan Climent Vidal; Juan Soliveres Tur (Reports Math. Log., 2006)

Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics. - Juan Soliveres Tur; Juan Climent Vidal (Notre Dame J. Formal Log., 2008)

A 2-categorical framework for the syntax and semantics of many-sorted equational logic. - Juan Climent Vidal; Juan Soliveres Tur (Reports Math. Log., 2010)

A 2-categorial Generalization of the Concept of Institution. - Juan Climent Vidal; Juan Soliveres Tur (Stud Logica, 2010)