| Publication | Date of Publication | Type |
|---|
Discrete sales chains
Publicacions. Secciò de Matemàtiques | 2024-04-22 | Paper |
Families of local involutive integral residuated lattice-ordered commutative monoids admitting Boolean term
| 2023-12-20 | Paper |
The General Apple Property and Boolean terms in Integral Bounded Residuated Lattice-ordered Commutative Monoids
| 2023-07-06 | Paper |
Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\)
Studia Logica | 2017-04-07 | Paper |
Semisimples in varieties of commutative integral bounded residuated lattices
Studia Logica | 2016-10-27 | Paper |
Regular elements and Kolmogorov translation in residuated lattices
Algebra Universalis | 2015-03-02 | Paper |
Lattice BCK logics with modus ponens as unique rule
Mathematical Logic Quarterly | 2014-06-06 | Paper |
Locally Finite Quasivarieties of MV-algebras
| 2014-05-29 | Paper |
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
Studia Logica | 2013-02-18 | Paper |
Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices
Journal of Logic and Computation | 2012-06-20 | Paper |
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
Soft Computing | 2012-05-16 | Paper |
Free-decomposability in varieties of pseudocomplemented residuated lattices
Studia Logica | 2012-03-09 | Paper |
Semisimplicity and the discriminator in bounded BCK-algebras
Algebra Universalis | 2010-09-08 | Paper |
Logics preserving degrees of truth from varieties of residuated lattices
Journal Of Logic And Computation | 2010-01-14 | Paper |
Boolean representation of bounded BCK-algebras
Soft Computing | 2008-07-30 | Paper |
An approach to Glivenko's theorem in algebraizable logics
Studia Logica | 2008-06-25 | Paper |
Bounded BCK-algebras and their generated variety
MLQ | 2007-05-11 | Paper |
Decomposability of free Łukasiewicz implication algebras
Archive for Mathematical Logic | 2007-01-24 | Paper |
On the infinite-valued Łukasiewicz logic that preserves degrees of truth
Archive for Mathematical Logic | 2006-11-06 | Paper |
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
Studia Logica | 2006-10-27 | Paper |
Decomposability of free Tarski algebras
Algebra Universalis | 2006-07-12 | Paper |
Axiomatic extensions of IMT3 logic
Studia Logica | 2006-03-17 | Paper |
Standard completeness of Hájek basic logic and decompositions of BL-chains
Soft Computing | 2006-03-02 | Paper |
Topological representation for implication algebras
Algebra Universalis | 2006-01-06 | Paper |
Free algebras in varieties of BL-algebras with a Boolean retract.
Algebra Universalis | 2005-04-19 | Paper |
Glivenko like theorems in natural expansions of BCK-logic
MLQ | 2004-03-29 | Paper |
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
Archive for Mathematical Logic | 2003-09-16 | Paper |
Free cancellative hoops
Algebra Universalis | 2003-04-23 | Paper |
Free Stone algebras
Discrete Mathematics | 2002-03-25 | Paper |
scientific article; zbMATH DE number 1526147 (Why is no real title available?)
| 2000-11-06 | Paper |
Quasivarieties generated by simple MV-algebras
Studia Logica | 2000-09-28 | Paper |
scientific article; zbMATH DE number 1458906 (Why is no real title available?)
| 2000-06-14 | Paper |
Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
Journal of Algebra | 1999-12-20 | Paper |
On Gentzen Systems Associated with the Finite Linear MV-algebras
Journal Of Logic And Computation | 1997-08-28 | Paper |
The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit
Journal of Algebra | 1997-03-19 | Paper |
scientific article; zbMATH DE number 951668 (Why is no real title available?)
| 1997-03-11 | Paper |
Boolean products of MV-algebras: hypernormal MV-algebras
Journal of Mathematical Analysis and Applications | 1996-08-29 | Paper |
Wajsberg algebras and Post algebras
Studia Logica | 1995-03-15 | Paper |
Cyclic Elements in MV‐Algebras and Post Algebras
Mathematical Logic Quarterly | 1994-12-08 | Paper |
scientific article; zbMATH DE number 31600 (Why is no real title available?)
| 1992-06-28 | Paper |
scientific article; zbMATH DE number 4181329 (Why is no real title available?)
| 1990-01-01 | Paper |
On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1988-01-01 | Paper |
W-algebras which are Boolean products of members of SR[1 and CW- algebras]
Studia Logica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3959424 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3887682 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3961686 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3807607 (Why is no real title available?)
| 1982-01-01 | Paper |
