| Publication | Date of Publication | Type |
|---|
| Piggybacking over unbounded distributive lattices | 2026-03-26 | Paper |
Sugihara algebras and Sugihara monoids: Multisorted dualities
Mathematica Slovaca | 2020-12-30 | Paper |
Łukasiewicz Public Announcement Logic
Information Processing and Management of Uncertainty in Knowledge-Based Systems | 2020-08-20 | Paper |
Sugihara algebras: admissibility algebras via the test spaces method
Journal of Pure and Applied Algebra | 2020-02-25 | Paper |
| Piggybacking over unbounded distributive lattices | 2020-02-16 | Paper |
Checking admissibility using natural dualities
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
Checking admissibility using natural dualities
ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| Sugihara algebras and monoids: multisorted dualities | 2019-01-28 | Paper |
A general framework for product representations: bilattices and beyond
Logic Journal of the IGPL | 2019-01-08 | Paper |
| Completions in subvarieties of BL-algebras | 2018-09-03 | Paper |
Polyhedral MV-algebras
Fuzzy Sets and Systems | 2018-02-19 | Paper |
Classifying orbits of the affine group over the integers
Ergodic Theory and Dynamical Systems | 2017-04-11 | Paper |
Germinal theories in Łukasiewicz logic
Annals of Pure and Applied Logic | 2017-03-16 | Paper |
MV-algebras, infinite dimensional polyhedra, and natural dualities
Archive for Mathematical Logic | 2017-02-24 | Paper |
Unification on subvarieties of pseudocomplemented distributive lattices
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Unification on subvarieties of pseudocomplemented distributive lattices
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Idempotent endomorphisms of free MV-algebras and unital \(\ell\)-groups
Journal of Pure and Applied Algebra | 2016-11-28 | Paper |
Classifying GL\((n,\mathbb{Z})\)-orbits of points and rational subspaces
Discrete and Continuous Dynamical Systems | 2016-10-14 | Paper |
Natural dualities through product representations: bilattices and beyond
Studia Logica | 2016-06-14 | Paper |
Exact unification and admissibility
Logical Methods in Computer Science | 2015-10-29 | Paper |
Retractions of free MV-algebras and unital $\ell$-groups
(available as arXiv preprint) | 2015-09-20 | Paper |
Gödel algebras: interactive dualities and their applications.
Algebra Universalis | 2015-09-01 | Paper |
A Stone-Weierstrass theorem for MV-algebras and unital \(\ell\)-groups.
Journal Of Logic And Computation | 2015-07-15 | Paper |
Admissibility via natural dualities
Journal of Pure and Applied Algebra | 2015-06-18 | Paper |
Admissibility via natural dualities
Journal of Pure and Applied Algebra | 2015-06-18 | Paper |
Simplicial geometry of unital lattice-ordered abelian groups.
Forum Mathematicum | 2015-05-05 | Paper |
Distributive bilattices from the perspective of natural duality theory.
Algebra Universalis | 2015-05-04 | Paper |
Product representation for default bilattices: an application of natural duality theory.
Journal of Pure and Applied Algebra | 2015-02-27 | Paper |
Severi-Bouligand tangents, Frenet frames and Riesz spaces
Advances in Applied Mathematics | 2015-02-06 | Paper |
Coproducts of distributive lattice-based algebras.
Algebra Universalis | 2014-11-14 | Paper |
Interval MV-algebras and generalizations.
International Journal of Approximate Reasoning | 2014-10-08 | Paper |
Bouligand-Severi \(k\)-tangents and strongly semisimple MV-algebras.
Journal of Algebra | 2014-08-27 | Paper |
Unification and projectivity in De Morgan and Kleene algebras.
Order | 2014-08-01 | Paper |
| Rational Simplicial geometry and projective unital lattice-ordered abelian groups | 2014-05-28 | Paper |
| scientific article; zbMATH DE number 6295523 (Why is no real title available?) | 2014-05-14 | Paper |
Leibniz interpolation properties
Annals of Pure and Applied Logic | 2014-01-24 | Paper |
MV-algebras freely generated by finite Kleene algebras.
Algebra Universalis | 2013-12-23 | Paper |
Rational polyhedra and projective lattice-ordered abelian groups with order unit
Communications in Contemporary Mathematics | 2012-08-27 | Paper |
Confluence and combinatorics in finitely generated unital lattice-ordered abelian groups
Forum Mathematicum | 2012-04-18 | Paper |
Finitely presented lattice-ordered abelian groups with order-unit
Journal of Algebra | 2012-02-11 | Paper |
Canonicity in subvarieties of BL-algebras
Algebra Universalis | 2010-09-10 | Paper |
Projective MV-algebras and rational polyhedra
Algebra Universalis | 2010-06-16 | Paper |
Representation and duality for Hilbert algebras
Central European Journal of Mathematics | 2009-11-24 | Paper |
| scientific article; zbMATH DE number 5568035 (Why is no real title available?) | 2009-06-23 | Paper |
Weak-quasi-Stone algebras
Mathematical Logic Quarterly | 2009-06-11 | Paper |
| Some remarks on Ockham congruences | 2008-03-20 | Paper |
Topological duality for Tarski algebras
Algebra Universalis | 2008-03-12 | Paper |
Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
Central European Journal of Mathematics | 2007-01-29 | Paper |
Duality for finite Hilbert algebras
Discrete Mathematics | 2006-01-10 | Paper |
