We stand with Ukraine  

Miguel Campercholi

According to our database1, Miguel Campercholi authored at least 19 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Semisimplicity and Congruence 3-Permutabilty for Quasivarieties with Equationally Definable Principal Congruences.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Stud Logica, June, 2024

2023
A short proof of the Baker-Pixley theorem for classes.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Int. J. Algebra Comput., December, 2023

Algebraic Expansions of Logics.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Nicolás Castaño
,
José Patricio Díaz Varela
,
Joan Gispert
J. Symb. Log., March, 2023

The complexity of the Chinese Remainder Theorem.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Nicolás Castaño
,
Gonzalo Zigarán
CoRR, 2023

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures.
[BibTeX]
[DOI]
Miguel Campercholi
,
Mauricio Tellechea
,
Pablo Ventura
CoRR, 2023

2020
The complexity of definability by open first-order formulas.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Daniel Penazzi
,
Pablo Ventura
Log. J. IGPL, 2020

2019
Deciding Quantifier-free Definability in Finite Algebraic Structures.
[BibTeX]
[DOI]
Miguel Campercholi
,
Mauricio Tellechea
,
Pablo Ventura
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2018
Dominions and Primitive positive Functions.
[BibTeX]
[DOI]
Miguel Campercholi
J. Symb. Log., 2018

Deciding Open Definability via Subisomorphisms.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Pablo Ventura
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
The lattice of congruences of a finite line frame.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Daniel Penazzi
,
Pedro Sánchez Terraf
J. Log. Comput., 2017

2016
Algebraic functions in Łukasiewicz implication algebras.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Nicolás Castaño
,
José Patricio Díaz Varela
Int. J. Algebra Comput., 2016

2015
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.
[BibTeX]
[DOI]
Miguel Campercholi
,
Michal M. Stronkowski
,
Diego Vaggione
Log. J. IGPL, 2015

The Lattice of Congruences of a Finite Linear Frame.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Daniel Penazzi
,
Pedro Sánchez Terraf
CoRR, 2015

2014
Algebraic functions in quasiprimal algebras.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Math. Log. Q., 2014

2011
Algebraic Functions.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Stud Logica, 2011

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Nicolás Castaño
,
J. Patricio Díaz Varela
Stud Logica, 2011

Axiomatizability by forall-exists-sentences.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Arch. Math. Log., 2011

2010
Algebraically Expandable Classes of Implication Algebras.
[BibTeX]
[DOI]
Miguel Campercholi
Int. J. Algebra Comput., 2010

2008
An implicit function theorem for regular fuzzy logic functions.
[BibTeX]
[DOI]
Miguel Campercholi
,
Diego Vaggione
Fuzzy Sets Syst., 2008


  Loading...