CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

A short proof of the Baker-Pixley theorem for classes

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Año: 2023

BADANO, MARIANA; CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Varieties with existentially definable factor congruences

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2022 vol. 83

CAMPERCHOLI, MIGUEL; CASTAÑO, DIEGO; DIAZ VARELA, PATRCIO; GISPER, JOAN

Algebraic expansions of logics

JOURNAL OF SYMBOLIC LOGIC, THE; Lugar: NY; Año: 2022

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Semisimplicity and Congruence 3-permutabilty for Quasivarieties with Equationally Definable Principal Congruences

STUDIA LOGICA; Lugar: Heidelberg; Año: 2022

CAICEDO, XAVIER; CAMPERCHOLI, MIGUEL; KEARNES, KEITH; SANCHEZ TERRAF, PEDRO; SZENDREI, AGNES; VAGGIONE, DIEGO

Every minimal dual discriminator variety is minimal as a quasivariety

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2021 vol. 82

CAMPERCHOLI, MIGUEL; TELLECHEA, MAURICIO; VENTURA, PABLO

Deciding Quantifier-free Definability in Finite Algebraic Structures

THEORETICAL COMPUTER SCIENCE; Lugar: Amsterdam; Año: 2020 vol. 348 p. 23 - 41

ARECES, CARLOS; CAMPERCHOLI, MIGUEL; PENAZZI, DANIEL; VENTURA, PABLO

The Complexity of Definability by Open First-Order Formulas

LOGIC JOURNAL OF THE IGPL (PRINT); Lugar: Oxford; Año: 2019 vol. 28 p. 1093 - 1105

CAMPERCHOLI, MIGUEL

Dominions and Primitive Positive Functions

JOURNAL OF SYMBOLIC LOGIC, THE; Año: 2018 vol. 83 p. 40 - 54

CAMPERCHOLI, MIGUEL; RAFTERY, JAMES

Relative congruence formulas and decompositions in quasivarieties

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2017

ARECES, CARLOS; CAMPERCHOLI, MIGUEL; PENAZZI, DANIEL; SÁNCHEZ TERRAF, PEDRO

The lattice of congruences of a finite line frame

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2017 vol. 27 p. 2653 - 2688

CAMPERCHOLI, MIGUEL; CASTAÑO, DIEGO; DIAZ VARELA, PATRCIO

Algebraic functions in Lukasiewicz implication algebras

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Lugar: London, UK; Año: 2016 vol. 26 p. 223 - 247

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Semantical conditions for the definability of functions and relations

ALGEBRA UNIVERSALIS; Lugar: BASEL; Año: 2015

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Algebraic functions in quasiprimal algebras

MATHEMATICAL LOGIC QUARTERLY; Lugar: Weinheim; Año: 2014 vol. 60 p. 156 - 160

CAMPERCHOLI, MIGUEL; STRONKOWSKI, MICHAL; VAGGIONE, DIEGO

On structural completeness versus almost structural completeness problem: a discriminator varieties case study

LOGIC JOURNAL OF THE IGPL (PRINT); Lugar: Oxford; Año: 2014 vol. 23 p. 235 - 246

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Implicit definition of the quaternary discriminator

ALGEBRA UNIVERSALIS; Año: 2012 vol. 68 p. 1 - 16

CAMPERCHOLI, MIGUEL; CASTAÑO, DIEGO; DIAZ VARELA, PATRCIO

Quasivarieties and congruence permutability of lukasiewicz implication algebras

STUDIA LOGICA; Año: 2011 vol. 98 p. 267 - 283

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Axiomatizability by (A)(E)!-sentences

ARCHIVE FOR MATHEMATICAL LOGIC - (Print); Año: 2011 vol. 50 p. 713 - 725

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Algebraic functions

STUDIA LOGICA; Año: 2011 vol. 98 p. 285 - 306

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

An implicit function theorem for algebraically closed fields

ALGEBRA UNIVERSALIS; Año: 2010 vol. 65 p. 299 - 304

CAMPERCHOLI, MIGUEL

Algebraically expandable classes of implication algebras

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Año: 2010 vol. 20 p. 605 - 617

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Algebraically Expandable Classes

ALGEBRA UNIVERSALIS; Año: 2009 vol. 61 p. 151 - 186

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

An Implicit Fuction Theorem for Regular Fuzzy Logic Functions

FUZZY SETS AND SYSTEMS; Año: 2008 vol. 159 p. 2983 - 2987

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

A note on congruence systems of MS-algebras

MATHEMATICA BOHEMICA; Año: 2007 vol. 132 p. 337 - 343

CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

Congruence permutable MS-algebras

ALGEBRA UNIVERSALIS; Año: 2007 vol. 56 p. 119 - 131

BLANCO, JAVIER; CAMPERCHOLI, MIGUEL; VAGGIONE, DIEGO

The Quasivariety-Lattice of a Discriminator Variety

ADVANCES IN MATHEMATICS; Año: 2001 p. 18 - 50