| Publication | Date of Publication | Type |
|---|
Stone-Gelfand duality for metrically complete lattice-ordered groups
Advances in Mathematics | 2025-01-14 | Paper |
Relative ideals in homological categories with an application to MV-algebras
Theory and Applications of Categories | 2024-08-19 | Paper |
| Baker-Beynon duality beyond semisimplicity | 2023-10-20 | Paper |
Unification in Łukasiewicz Logic with a Finite Number of Variables
1512.03032 | 2022-12-06 | Paper |
| Stone-Gelfand duality for metrically complete lattice-ordered groups | 2022-10-27 | Paper |
| Relative ideals in homological categories, with an application to MV-algebras | 2022-08-26 | Paper |
Are locally finite MV-algebras a variety?
Journal of Pure and Applied Algebra | 2021-11-17 | Paper |
Sheaf representations and locality of Riesz spaces with order unit
Journal of Logic and Analysis | 2021-05-26 | Paper |
Join-completions of partially ordered algebras
Annals of Pure and Applied Logic | 2020-10-07 | Paper |
General affine adjunctions, Nullstellensätze, and dualities
Journal of Pure and Applied Algebra | 2020-08-28 | Paper |
An expansion of basic logic with fixed points
Soft Computing | 2018-02-23 | Paper |
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
Algebra Universalis | 2017-06-22 | Paper |
MV-algebras, infinite dimensional polyhedra, and natural dualities
Archive for Mathematical Logic | 2017-02-24 | Paper |
Editorial. Many-valued logic '12
Mathematica Slovaca | 2015-11-26 | Paper |
Fixed points in many-valued logic
Bollettino della Unione Matematica Italiana. Serie VIII. Sezione A. La Matematica nella Società e nella Cultura | 2013-12-10 | Paper |
| Two isomorphism criteria for directed colimits | 2013-12-02 | Paper |
Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras
Annals of Pure and Applied Logic | 2013-02-19 | Paper |
The dual adjunction between MV-algebras and Tychonoff spaces
Studia Logica | 2012-10-01 | Paper |
Advances in the theory of \(\mu \)Ł\(\Pi \) algebras
Logic Journal of the IGPL | 2012-05-21 | Paper |
Representation of perfect and local MV-algebras
Mathematica Slovaca | 2011-07-15 | Paper |
A discrete representation of free MV-algebras
Mathematical Logic Quarterly | 2010-06-10 | Paper |
Representation of MV-algebras by regular ultrapowers of \([0,1\)]
Archive for Mathematical Logic | 2010-05-17 | Paper |
\(\mu \)MV-algebras: An approach to fixed points in Łukasiewicz logic
Fuzzy Sets and Systems | 2009-08-28 | Paper |
Ł\(\Pi\) logic with fixed points
Archive for Mathematical Logic | 2008-11-17 | Paper |
Forcing in Łukasiewicz predicate logic
Studia Logica | 2008-07-31 | Paper |
Continuous approximations of product implication in MV-algebras with product
Soft Computing | 2005-11-16 | Paper |
