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.
Stud Logica, June, 2024

2023
A short proof of the Baker-Pixley theorem for classes.
Int. J. Algebra Comput., December, 2023

Algebraic Expansions of Logics.
J. Symb. Log., March, 2023

The complexity of the Chinese Remainder Theorem.
CoRR, 2023

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures.
CoRR, 2023

2020
The complexity of definability by open first-order formulas.
Log. J. IGPL, 2020

2019
Deciding Quantifier-free Definability in Finite Algebraic Structures.
Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

2018
Dominions and Primitive positive Functions.
J. Symb. Log., 2018

Deciding Open Definability via Subisomorphisms.
Proceedings of the Logic, Language, Information, and Computation, 2018

2017
The lattice of congruences of a finite line frame.
J. Log. Comput., 2017

2016
Algebraic functions in Łukasiewicz implication algebras.
Int. J. Algebra Comput., 2016

2015
On structural completeness versus almost structural completeness problem: A discriminator varieties case study.
Log. J. IGPL, 2015

The Lattice of Congruences of a Finite Linear Frame.
CoRR, 2015

2014
Algebraic functions in quasiprimal algebras.
Math. Log. Q., 2014

2011
Algebraic Functions.
Stud Logica, 2011

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.
Stud Logica, 2011

Axiomatizability by forall-exists-sentences.
Arch. Math. Log., 2011

2010
Algebraically Expandable Classes of Implication Algebras.
Int. J. Algebra Comput., 2010

2008
An implicit function theorem for regular fuzzy logic functions.
Fuzzy Sets Syst., 2008


  Loading...