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)

Eilenberg theorems for many-sorted formations. - Juan Climent Vidal; Enric Cosme-Llópez (CoRR, 2016)

When are profinite many-sorted algebras retracts of ultraproducts of finite many-sorted algebras? - Juan Climent Vidal; Enric Cosme-Llópez (Log. J. IGPL, 2018)

Congruence-based proofs of the recognizability theorems for free many-sorted algebras. - Juan Climent Vidal; Enric Cosme-Llópez (J. Log. Comput., 2020)

Functoriality of the Schmidt construction. - Juan Climent Vidal; Enric Cosme-Llópez (Log. J. IGPL, 2023)

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms. - Juan Climent Vidal; Enric Cosme-Llópez (CoRR, 2024)

Lallement Functor is a Weak Right Multiadjoint. - Juan Climent Vidal; Enric Cosme-Llópez (Appl. Categorical Struct., 2025)