1 citations · 1 across the 3 of their papers we have counts for
4 papers
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras
Miguel Campercholi, Diego Castaño, José Patricio Díaz Varela +1
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form . For a logic algebraized by a qu…
The Complexity of Definability by Open First-Order Formulas
Carlos Areces, Miguel Campercholi, Daniel Penazzi +1
In this article we formally define and investigate the computational complexity of the Definability Problem for open first-order formulas (i.e., quantifier free first-order formula…
Epic substructures and primitive positive functions
Miguel Campercholi
For first order structures in a class , say that is an epic substructure of in if for every $\mathbf…
Semantical conditions for the definability of functions and relations
Miguel Campercholi, Diego Vaggione
Let be first order languages, let be a relation symbol, and let be a class of…