An implicit function theorem for regular fuzzy logic functions. - Miguel Campercholi; Diego Vaggione (Fuzzy Sets Syst., 2008)

Algebraically Expandable Classes of Implication Algebras. - Miguel Campercholi (Int. J. Algebra Comput., 2010)

Axiomatizability by forall-exists-sentences. - Miguel Campercholi; Diego Vaggione (Arch. 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)

Algebraic Functions. - Miguel Campercholi; Diego Vaggione (Stud Logica, 2011)

Algebraic functions in quasiprimal algebras. - Miguel Campercholi; Diego Vaggione (Math. Log. Q., 2014)

The Lattice of Congruences of a Finite Linear Frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (CoRR, 2015)

On structural completeness versus almost structural completeness problem: A discriminator varieties case study. - Miguel Campercholi; Michal M. Stronkowski; Diego Vaggione (Log. J. IGPL, 2015)

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

The lattice of congruences of a finite line frame. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pedro Sánchez Terraf (J. Log. Comput., 2017)

Deciding Open Definability via Subisomorphisms. - Carlos Areces; Miguel Campercholi; Pablo Ventura (WoLLIC, 2018)

Dominions and Primitive positive Functions. - Miguel Campercholi (J. Symb. Log., 2018)

Deciding Quantifier-free Definability in Finite Algebraic Structures. - Miguel Campercholi; Mauricio Tellechea; Pablo Ventura (LSFA, 2019)

The complexity of definability by open first-order formulas. - Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pablo Ventura (Log. J. IGPL, 2020)

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures. - Miguel Campercholi; Mauricio Tellechea; Pablo Ventura (CoRR, 2023)

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)

A short proof of the Baker-Pixley theorem for classes. - Miguel Campercholi; Diego Vaggione (Int. J. Algebra Comput., 2023)

Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences. - Miguel Campercholi; Diego Vaggione (Stud Logica, 2024)