•  9
    On frontal operators in Hilbert algebras
    with J. L. Castiglioni
    Logic Journal of the IGPL 23 (2): 217-234. 2015.
  •  11
    Relatively compatible operations in BCK-algebras and some related algebras
    with N. Lubomirsky and W. J. Zuluaga Botero
    Logic Journal of the IGPL 25 (3): 348-364. 2017.
    Let |$\textbf{A}$| be a |$BCK$|-algebra and |$f:A^{k}\rightarrow A$| a function. The main goal of this article is to give a necessary and sufficient condition for |$f$| to be compatible with respect to every relative congruence of |$\textbf{A}$|⁠. We extend this result in some related algebras, as e.g. in pocrims.
  •  6
    Compatible Operations on Residuated Lattices
    with J. Castiglioni
    Studia Logica 98 (1-2): 203-222. 2011.
    This work extend to residuated lattices the results of [7]. It also provides a possible generalization to this context of frontal operators in the sense of [9].Let L be a residuated lattice, and f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to prove that the variety of residuated lattices is locally affine complete.We study some compatible functions on…Read more
  •  40
    Compatible Operations on Residuated Lattices
    with J. L. Castiglioni
    Studia Logica 98 (1-2): 203-222. 2011.
    This work extend to residuated lattices the results of [ 7 ]. It also provides a possible generalization to this context of frontal operators in the sense of [ 9 ]. Let L be a residuated lattice, and f : L k → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L . We use this characterization of compatible functions in order to prove that the variety of residuated lattices is locally affine complete. We study some compatible func…Read more
  •  6
    On Hilbert algebras generated by the order
    with J. L. Castiglioni and S. A. Celani
    Archive for Mathematical Logic 61 (1): 155-172. 2021.
    In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull.
  • Supervisión en organización y desarrollo de comunidad
    Humanitas. Buenos Aires. forthcoming.