Free double Ockham algebras. - Manuel Abad; J. Patricio Díaz Varela (J. Appl. Non Class. Logics, 1999)

Free Q-distributive lattices from meet semilattices. - Manuel Abad; J. Patricio Díaz Varela (Discret. Math., 2000)

Varieties of Three-Valued Heyting Algebras with a Quantifier. - Manuel Abad; J. Patricio Díaz Varela; Laura A. Rueda; Ana Maria Suardíaz (Stud Logica, 2000)

On subvarieties of symmetric closure algebras. - J. Patricio Díaz Varela (Ann. Pure Appl. Log., 2001)

Boolean Algebras with a Distinguished Automorphism. - Manuel Abad; J. Patricio Díaz Varela; Marta A. Zander (Reports Math. Log., 2003)

Decomposability of free Lukasiewicz implication algebras. - J. Patricio Díaz Varela; Antoni Torrens Torrell (Arch. Math. Log., 2006)

Representation of Cubic Lattices by Symmetric Implication Algebras. - Manuel Abad; J. Patricio Díaz Varela (Order, 2006)

The Lattice of Subvarieties of Monadic n-valued Loukasiewicz-Moisil Algebras. - Manuel Abad; J. Patricio Díaz Varela; Laura A. Rueda; Ana Maria Suardíaz (J. Multiple Valued Log. Soft Comput., 2007)

Free three-valued Closure Lukasiewicz Algebras. - Manuel Abad; José Patricio Díaz Varela; Laura A. Rueda; Ana Maria Suardíaz (Reports Math. Log., 2007)

Free Lukasiewicz implication algebras. - J. Patricio Díaz Varela (Arch. Math. Log., 2008)

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

Factor congruences in BCK -algebras. - Manuel Abad; J. Patricio Díaz Varela (Soft Comput., 2009)

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

The variety generated by semi-Heyting chains. - Manuel Abad; Juan Manuel Cornejo; J. Patricio Díaz Varela (Soft Comput., 2010)

The Variety of Semi-Heyting Algebras Satisfying the equation (0 → 1)* v (0 → 1)** ≈ 1. - Manuel Abad; Juan Manuel Cornejo; José Patricio Díaz Varela (Reports Math. Log., 2011)

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)

Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit. - Cecilia Cimadamore; J. Patricio Díaz Varela (Stud Logica, 2011)

Resolution of Algebraic Systems of Equations in the Variety of Cyclic Post Algebras. - J. Patricio Díaz Varela; Blanca Fernanda López Martinolich (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)

Free-decomposability in varieties of semi-Heyting algebras. - Manuel Abad; Juan Manuel Cornejo; J. Patricio Díaz Varela (Math. Log. Q., 2012)

Semi-Heyting Algebras Term-equivalent to Gödel Algebras. - Manuel Abad; Juan Manuel Cornejo; José Patricio Díaz Varela (Order, 2013)

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

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

Functional description of free algebras in subvarieties of BL-algebras. - J. Patricio Díaz Varela; Noemí Lubomirsky (Fuzzy Sets Syst., 2024)

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)