| Publication | Date of Publication | Type |
|---|
| A categorical equivalence for Stonean residuated lattices | 2019-06-19 | Paper |
| Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\) | 2017-04-07 | Paper |
| The subvariety of commutative residuated lattices represented by twist-products | 2014-05-08 | Paper |
| Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term | 2013-02-18 | Paper |
| Stone duality for real-valued multisets | 2012-11-30 | Paper |
| Boolean skeletons of MV-algebras and \(\ell \)-groups | 2012-03-09 | Paper |
| Constructive Logic with Strong Negation as a Substructural Logic | 2010-08-26 | Paper |
| Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic | 2010-01-14 | Paper |
| Commutative integral bounded residuated lattices with an added involution | 2009-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3621799 | 2009-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3605554 | 2009-02-24 | Paper |
| Free MV\(_n\)-algebras | 2008-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3508714 | 2008-07-01 | Paper |
| Free algebras in varieties of Stonean residuated lattices | 2008-01-16 | Paper |
| The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview | 2007-11-15 | Paper |
| Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit | 2006-12-07 | Paper |
| Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) | 2006-10-27 | Paper |
| Free algebras in varieties of BL-algebras generated by a BLn-chain | 2006-08-01 | Paper |
| On Product Logic with Truth-constants | 2006-07-03 | Paper |
| Standard completeness of Hájek basic logic and decompositions of BL-chains | 2006-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4680301 | 2005-06-07 | Paper |
| Free algebras in varieties of BL-algebras with a Boolean retract. | 2005-04-19 | Paper |
| Extending Stone duality to multisets and locally finite MV-algebras. | 2004-07-12 | Paper |
| Glivenko like theorems in natural expansions of BCK-logic | 2004-03-29 | Paper |
| Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic | 2003-09-16 | Paper |
| Free cancellative hoops | 2003-04-23 | Paper |
| On a class of left-continuous \(\text t\)-norms | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4542633 | 2002-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2737552 | 2002-05-05 | Paper |
| An algebraic approach to intuitionistic connectives | 2002-04-29 | Paper |
| Free Stone algebras | 2002-03-25 | Paper |
| An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit | 2001-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4512929 | 2000-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4258028 | 2000-05-09 | Paper |
| Algebraic foundations of many-valued reasoning | 2000-01-04 | Paper |
| Prime spectra of lattice-ordered abelian groups | 1999-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225604 | 1999-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370309 | 1998-02-02 | Paper |
| An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz | 1997-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352434 | 1997-10-27 | Paper |
| The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit | 1997-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4716898 | 1997-03-11 | Paper |
| Boolean products of MV-algebras: hypernormal MV-algebras | 1996-08-29 | Paper |
| Free \(Q\)-distributive lattices | 1996-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835612 | 1995-07-03 | Paper |
| Reconstructing \(C^*\)-algebras from their Murray von Neumann orders | 1994-01-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140367 | 1993-12-12 | Paper |
| Complete and atomic algebras of the infinite valued Łukasiewicz logic | 1992-09-27 | Paper |
| Priestley duality and quotient lattices of many-valued algebras | 1992-09-27 | Paper |
| Quantifiers on distributive lattices | 1992-06-28 | Paper |
| The class of Kleene algebras satisfying an interpolation property and Nelson algebras | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3739100 | 1985-01-01 | Paper |
| Ayda Ignez Arruda (1936-1983) | 1984-01-01 | Paper |
| AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3674731 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746564 | 1983-01-01 | Paper |
| Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi | 1982-01-01 | Paper |
| The lattice structure of some Lukasiewicz algebras | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3903044 | 1980-01-01 | Paper |
| Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras | 1979-01-01 | Paper |
| The lattice of global sections of sheaves of chains over Boolean spaces | 1978-01-01 | Paper |
| Functions with Arbitrarily Small Periods | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175281 | 1978-01-01 | Paper |
| Injective de Morgan and Kleene Algebras | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4097245 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055684 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4403295 | 1974-01-01 | Paper |
| Representation of Łukasiewicz and Post algebras by continuous functions | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5675754 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4067153 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613920 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5539332 | 1967-01-01 | Paper |
| Boolean multiplicative closures, I | 1966-01-01 | Paper |
| Boolean elements in Lukasiewicz algebras, I | 1965-01-01 | Paper |
| Boolean elements in Lukasiewicz algebras, II | 1965-01-01 | Paper |
