Miguel Campercholi

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 14

Top Topics

Chinese Remainder Theorem

Quantifier Free

Algebraic Structures

Propositional Logic

Top Venues

Int. J. Algebra Comput.

Publications

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