| Publication | Date of Publication | Type |
|---|
Modalities combining two negations
Journal of Logic and Computation | 2025-10-15 | Paper |
On subreducts of subresiduated lattices and some related logics
Journal Of Logic And Computation | 2024-11-12 | Paper |
| MTL algebras | 2024-09-06 | Paper |
| On subreducts of subresiduated lattices and logic | 2022-11-05 | Paper |
Split exact sequences of finite MTL-chains
Revista de la Unión Matemática Argentina | 2022-02-14 | Paper |
On finite MTL-algebras that are representable as poset products of Archimedean chains
Fuzzy Sets and Systems | 2021-07-16 | Paper |
On a weak conditional
Logic Journal of the IGPL | 2021-01-08 | Paper |
Functional representation of finitely generated free algebras in subvarieties of BL-algebras
Annals of Pure and Applied Logic | 2019-11-22 | Paper |
Modal operators for meet-complemented lattices
Logic Journal of the IGPL | 2019-01-08 | Paper |
| Generalized Chain Products of MTL-chains | 2018-11-12 | Paper |
\(l\)-hemi-implicative semilattices
Studia Logica | 2018-10-02 | Paper |
Universal central extensions of Lie-Rinehart algebras
Journal of Algebra and its Applications | 2018-06-14 | Paper |
Representation of BL-algebras with finite independent spectrum
Fuzzy Sets and Systems | 2017-08-09 | Paper |
Kleene algebras with implication
Algebra Universalis | 2017-07-14 | Paper |
| On the free Heyting algebra extension of a Hilbert algebra | 2017-05-10 | Paper |
| On a symmetrization of hemiimplicative semilattices | 2016-11-29 | Paper |
A representation theorem for integral rigs and its applications to residuated lattices.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
A representation theorem for integral rigs and its applications to residuated lattices.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
The left adjoint of Spec from a category of lattice-ordered groups
Journal of Applied Logic | 2016-04-07 | Paper |
Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
Logic Journal of the IGPL | 2015-02-27 | Paper |
On a definition of a variety of monadic \(\ell\)-groups.
Studia Logica | 2014-06-19 | Paper |
Algebras with implication and fusion: a different point of view.
Algebra Universalis | 2013-06-28 | Paper |
| The finite model property for the variety of Heyting algebras with successor | 2013-04-26 | Paper |
On some classes of Heyting algebras with successor that have the amalgamation property
Studia Logica | 2013-02-18 | Paper |
Compatible operations on residuated lattices
Studia Logica | 2012-03-09 | Paper |
| On frontal Heyting algebras | 2011-03-30 | Paper |
| On the variety of Heyting algebras with successor generated by all finite chains | 2011-03-30 | Paper |
Compatible operations on commutative residuated lattices
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
On some categories of involutive centered residuated lattices
Studia Logica | 2009-03-17 | Paper |
Peiffer elements in simplicial groups and algebras
Journal of Pure and Applied Algebra | 2008-06-26 | Paper |
Peiffer elements in simplicial groups and algebras
Journal of Pure and Applied Algebra | 2008-06-26 | Paper |
Cosimplicial versus DG-rings: A version of the Dold-Kan correspondence
Journal of Pure and Applied Algebra | 2004-08-19 | Paper |
Assume-guarantee contract algebras are bounded Sugihara monoids
(available as arXiv preprint) | N/A | Paper |
