Miguel Campercholi

20 papers C 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences.
Stud Logica
Miguel Campercholi, Diego Vaggione
2023 J jnl
A short proof of the Baker-Pixley theorem for classes.
Int. J. Algebra Comput.
Miguel Campercholi, Diego Vaggione
2023 J jnl
Algebraic Expansions of Logics.
J. Symb. Log.
Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela, Joan Gispert
2023 J jnl
The complexity of the Chinese Remainder Theorem.
CoRR
Miguel Campercholi, Diego Nicolás Castaño, Gonzalo Zigarán
2023 J jnl
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures.
CoRR
Miguel Campercholi, Mauricio Tellechea, Pablo Ventura
2020 J jnl
The complexity of definability by open first-order formulas.
Log. J. IGPL
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
2019 — conf
Deciding Quantifier-free Definability in Finite Algebraic Structures.
LSFA
Miguel Campercholi, Mauricio Tellechea, Pablo Ventura
2019 J jnl
The Complexity of Definability by Open First-Order Formulas.
CoRR
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pablo Ventura
2018 C conf
Deciding Open Definability via Subisomorphisms.
WoLLIC
Carlos Areces, Miguel Campercholi, Pablo Ventura
2018 J jnl
Dominions and Primitive positive Functions.
J. Symb. Log.
Miguel Campercholi
2017 J jnl
The lattice of congruences of a finite line frame.
J. Log. Comput.
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2016 J jnl
Algebraic functions in Łukasiewicz implication algebras.
Int. J. Algebra Comput.
Miguel Campercholi, Diego Nicolás Castaño, José Patricio Díaz Varela
2015 J jnl
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.
Log. J. IGPL
Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione
2015 J jnl
The Lattice of Congruences of a Finite Linear Frame.
CoRR
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2014 J jnl
Algebraic functions in quasiprimal algebras.
Math. Log. Q.
Miguel Campercholi, Diego Vaggione
2011 J jnl
Algebraic Functions.
Stud Logica
Miguel Campercholi, Diego Vaggione
2011 J jnl
Axiomatizability by forall-exists-sentences.
Arch. Math. Log.
Miguel Campercholi, Diego Vaggione
2011 J jnl
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.
Stud Logica
Miguel Campercholi, Diego Nicolás Castaño, J. Patricio Díaz Varela
2010 J jnl
Algebraically Expandable Classes of Implication Algebras.
Int. J. Algebra Comput.
Miguel Campercholi
2008 J jnl
An implicit function theorem for regular fuzzy logic functions.
Fuzzy Sets Syst.
Miguel Campercholi, Diego Vaggione