Conditions for Permutability of Congruences in Implication Algebras. - Diego Nicolás Castaño; J. Patricio Díaz Varela (Order, 2009)

Zariski-type topology for implication algebras. - Manuel Abad; Diego Nicolás Castaño; J. Patricio Díaz Varela (Math. Log. Q., 2010)

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras. - Miguel Campercholi; Diego Nicolás Castaño; J. Patricio Díaz Varela (Stud Logica, 2011)

Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices. - Diego Nicolás Castaño; J. Patricio Díaz Varela; Antoni Torrens Torrell (Stud Logica, 2011)

Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts. - Diego Nicolás Castaño; José Patricio Díaz Varela; Antoni Torrens Torrell (Soft Comput., 2011)

Algebraic functions in Łukasiewicz implication algebras. - Miguel Campercholi; Diego Nicolás Castaño; José Patricio Díaz Varela (Int. J. Algebra Comput., 2016)

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic. - Diego Nicolás Castaño; Juan Manuel Cornejo (Stud Logica, 2016)

Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic. - Diego Nicolás Castaño; Cecilia Cimadamore; José Patricio Díaz Varela; Laura A. Rueda (Fuzzy Sets Syst., 2017)

Completeness for monadic fuzzy logics via functional algebras. - Diego Nicolás Castaño; Cecilia Cimadamore; José Patricio Díaz Varela; Laura A. Rueda (Fuzzy Sets Syst., 2021)

Varieties of pseudocomplemented Kleene algebras. - Diego Nicolás Castaño; Valeria Castaño; José Patricio Díaz Varela; Marcela Muñoz Santis (Math. Log. Q., 2021)

An Algebraic Study of S5-Modal Gödel Logic. - Diego Nicolás Castaño; Cecilia Cimadamore; José Patricio Díaz Varela; Laura A. Rueda (Stud Logica, 2021)

The complexity of the Chinese Remainder Theorem. - Miguel Campercholi; Diego Nicolás Castaño; Gonzalo Zigarán (CoRR, 2023)

Algebraic Expansions of Logics. - Miguel Campercholi; Diego Nicolás Castaño; José Patricio Díaz Varela; Joan Gispert (J. Symb. Log., 2023)

Strong standard completeness theorems for S5-modal Łukasiewicz logics. - Diego Nicolás Castaño; José Patricio Díaz Varela; Gabriel Savoy (Ann. Pure Appl. Log., 2025)