| Publication | Date of Publication | Type |
|---|
A categorical equivalence for Stonean residuated lattices
Studia Logica | 2019-06-19 | 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 |
The subvariety of commutative residuated lattices represented by twist-products
Algebra Universalis | 2014-05-08 | Paper |
Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
Studia Logica | 2013-02-18 | Paper |
Stone duality for real-valued multisets
Forum Mathematicum | 2012-11-30 | Paper |
Boolean skeletons of MV-algebras and \(\ell \)-groups
Studia Logica | 2012-03-09 | Paper |
Constructive logic with strong negation as a substructural logic
Journal Of Logic And Computation | 2010-08-26 | Paper |
Residuated lattices as an algebraic semantics for paraconsistent Nelson's logic
Journal Of Logic And Computation | 2010-01-14 | Paper |
Commutative integral bounded residuated lattices with an added involution
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
scientific article; zbMATH DE number 5545693 (Why is no real title available?)
| 2009-04-21 | Paper |
scientific article; zbMATH DE number 5510316 (Why is no real title available?)
| 2009-02-24 | Paper |
Free MV\(_n\)-algebras
Algebra Universalis | 2008-07-30 | Paper |
Kleene-isomorphic \(\sigma\)-complete MV-algebras with product are isomorphic
| 2008-07-01 | Paper |
Free algebras in varieties of Stonean residuated lattices
Soft Computing | 2008-01-16 | Paper |
The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit
Journal of Algebra | 2006-12-07 | Paper |
Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
Studia Logica | 2006-10-27 | Paper |
Free algebras in varieties of BL-algebras generated by a BLn-chain
Journal of the Australian Mathematical Society | 2006-08-01 | Paper |
On Product Logic with Truth-constants
Journal Of Logic And Computation | 2006-07-03 | Paper |
Standard completeness of Hájek basic logic and decompositions of BL-chains
Soft Computing | 2006-03-02 | Paper |
scientific article; zbMATH DE number 2172901 (Why is no real title available?)
| 2005-06-07 | Paper |
Free algebras in varieties of BL-algebras with a Boolean retract.
Algebra Universalis | 2005-04-19 | Paper |
Extending Stone duality to multisets and locally finite MV-algebras.
Journal of Pure and Applied Algebra | 2004-07-12 | 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 |
On a class of left-continuous \(\text t\)-norms
Fuzzy Sets and Systems | 2003-04-02 | Paper |
scientific article; zbMATH DE number 1775503 (Why is no real title available?)
| 2002-08-04 | Paper |
\(n\)-valued connectives
| 2002-05-05 | Paper |
An algebraic approach to intuitionistic connectives
Journal of Symbolic Logic | 2002-04-29 | Paper |
Free Stone algebras
Discrete Mathematics | 2002-03-25 | Paper |
An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit
Studia Logica | 2001-07-09 | Paper |
scientific article; zbMATH DE number 1526147 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1329672 (Why is no real title available?)
| 2000-05-09 | Paper |
Algebraic foundations of many-valued reasoning
Trends in Logic -- Studia Logica Library | 2000-01-04 | Paper |
Prime spectra of lattice-ordered abelian groups
Journal of Pure and Applied Algebra | 1999-10-19 | Paper |
scientific article; zbMATH DE number 1239848 (Why is no real title available?)
| 1999-04-20 | Paper |
scientific article; zbMATH DE number 1104418 (Why is no real title available?)
| 1998-02-02 | Paper |
An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Studia Logica | 1997-10-30 | Paper |
scientific article; zbMATH DE number 1054883 (Why is no real title available?)
| 1997-10-27 | 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 |
Free \(Q\)-distributive lattices
Studia Logica | 1996-08-14 | Paper |
scientific article; zbMATH DE number 761277 (Why is no real title available?)
| 1995-07-03 | Paper |
Reconstructing \(C^*\)-algebras from their Murray von Neumann orders
Advances in Mathematics | 1994-01-26 | Paper |
scientific article; zbMATH DE number 437500 (Why is no real title available?)
| 1993-12-12 | Paper |
Priestley duality and quotient lattices of many-valued algebras
Rendiconti del Circolo Matematico di Palermo | 1992-09-27 | Paper |
Complete and atomic algebras of the infinite valued Łukasiewicz logic
Studia Logica | 1992-09-27 | Paper |
Quantifiers on distributive lattices
Discrete Mathematics | 1992-06-28 | Paper |
The class of Kleene algebras satisfying an interpolation property and Nelson algebras
Algebra Universalis | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3972831 (Why is no real title available?)
| 1985-01-01 | Paper |
Ayda Ignez Arruda (1936-1983)
Studia Logica | 1984-01-01 | Paper |
AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
Mathematical Logic Quarterly | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3827953 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3802543 (Why is no real title available?)
| 1983-01-01 | Paper |
Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
Studia Logica | 1982-01-01 | Paper |
The lattice structure of some Lukasiewicz algebras
Algebra Universalis | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3712013 (Why is no real title available?)
| 1980-01-01 | Paper |
Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
Studia Logica | 1979-01-01 | Paper |
The lattice of global sections of sheaves of chains over Boolean spaces
Algebra Universalis | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3611359 (Why is no real title available?)
| 1978-01-01 | Paper |
Functions with Arbitrarily Small Periods
The American Mathematical Monthly | 1978-01-01 | Paper |
Injective de Morgan and Kleene Algebras
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3517100 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3436110 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3472112 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3409407 (Why is no real title available?)
| 1972-01-01 | Paper |
Representation of Łukasiewicz and Post algebras by continuous functions
Colloquium Mathematicum | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3484125 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3336783 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3252699 (Why is no real title available?)
| 1967-01-01 | Paper |
Boolean multiplicative closures, I
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1966-01-01 | Paper |
Boolean elements in Lukasiewicz algebras, I
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1965-01-01 | Paper |
Boolean elements in Lukasiewicz algebras, II
Proceedings of the Japan Academy, Series A, Mathematical Sciences | 1965-01-01 | Paper |
