| Publication | Date of Publication | Type |
|---|
Equivalence of multiset-based consequence relations
Annals of Pure and Applied Logic | 2025-10-23 | Paper |
Recognizability in residuated lattices
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Residuated Structures in Algebra and Logic
Mathematical Surveys and Monographs | 2023-11-02 | Paper |
Nilpotency and the Hamiltonian property for cancellative residuated lattices
International Journal of Algebra and Computation | 2022-06-08 | Paper |
Join-completions of partially ordered algebras
Annals of Pure and Applied Logic | 2020-10-07 | Paper |
The Archimedean property: new horizons and perspectives
Algebra Universalis | 2018-12-05 | Paper |
Density revisited
Soft Computing | 2018-02-23 | Paper |
Uniform interpolation and compact congruences
Annals of Pure and Applied Logic | 2017-07-13 | Paper |
Uniform interpolation and compact congruences
Annals of Pure and Applied Logic | 2017-07-13 | Paper |
Hulls of ordered algebras: projectability, strong projectability and lateral completeness
Journal of Algebra | 2017-05-22 | Paper |
Projectable -groups and algebras of logic: categorical and algebraic connections.
Journal of Pure and Applied Algebra | 2016-05-18 | Paper |
The Conrad program: from \(l\)-groups to algebras of logic.
Journal of Algebra | 2016-01-29 | Paper |
The failure of the amalgamation property for semilinear varieties of residuated lattices
Mathematica Slovaca | 2015-11-26 | Paper |
Semi-linear varieties of lattice-ordered algebras.
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
Free objects and free extensions in the category of frames
Mathematica Slovaca | 2015-06-08 | Paper |
Amalgamation and interpolation in ordered algebras.
Journal of Algebra | 2014-07-25 | Paper |
Lattice-theoretic properties of algebras of logic
Journal of Pure and Applied Algebra | 2014-04-30 | Paper |
On Birkhoff's common abstraction problem
Studia Logica | 2013-02-18 | Paper |
| scientific article; zbMATH DE number 5772813 (Why is no real title available?) | 2010-08-18 | Paper |
Ordered groups with a conucleus
Journal of Pure and Applied Algebra | 2009-11-04 | Paper |
Ordinal decompositions for preordered root systems
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Equivalence of consequence relations: an order-theoretic and categorical perspective
Journal of Symbolic Logic | 2009-09-29 | Paper |
Gödel incompleteness in AF C*-algebras
Forum Mathematicum | 2008-12-18 | Paper |
| The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective | 2008-10-20 | Paper |
Perfect GMV-Algebras
Communications in Algebra | 2008-06-26 | Paper |
A concrete realization of the Hoare powerdomain
Soft Computing | 2007-09-06 | Paper |
Retracted: Ordered groups with a modality
Journal of Pure and Applied Algebra | 2007-09-03 | Paper |
Minimal varieties of involutive residuated lattices
Studia Logica | 2006-10-27 | Paper |
| scientific article; zbMATH DE number 2208113 (Why is no real title available?) | 2005-09-26 | Paper |
Generalized MV-algebras
Journal of Algebra | 2005-04-07 | Paper |
Products of classes of residuated structures
Studia Logica | 2005-04-07 | Paper |
THE STRUCTURE OF RESIDUATED LATTICES
International Journal of Algebra and Computation | 2004-08-06 | Paper |
Order algebras as models of linear logic
Studia Logica | 2004-08-06 | Paper |
THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
International Journal of Algebra and Computation | 2002-12-15 | Paper |
Groupable lattices
Communications in Algebra | 1996-04-22 | Paper |
The finite basis theorem for relatively normal lattices
Algebra Universalis | 1995-02-22 | Paper |
| Decompositions for Relatively Normal Lattices | 1994-11-17 | Paper |
Relation algebras as residuated Boolean algebras
Algebra Universalis | 1994-08-08 | Paper |
Finite-valued algebraic lattices
Algebra Universalis | 1993-12-20 | Paper |
| scientific article; zbMATH DE number 4154510 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4152441 (Why is no real title available?) | 1989-01-01 | Paper |
The failure of the amalgamation property for representable varieties of <i>l</i>-groups
Mathematical Proceedings of the Cambridge Philosophical Society | 1989-01-01 | Paper |
Covers of the variety of abelian ℓ-groups
Communications in Algebra | 1989-01-01 | Paper |
| Sets of Disjoint Elements in Free Products of Lattice-Ordered Groups | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 3995745 (Why is no real title available?) | 1986-01-01 | Paper |
Cofinality of algebras
Algebra Universalis | 1986-01-01 | Paper |
Disjointness conditions for free products of -groups
Archiv der Mathematik | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3912442 (Why is no real title available?) | 1985-01-01 | Paper |
Projectable and strongly projectable lattice-ordered groups
Algebra Universalis | 1985-01-01 | Paper |
Meet-irreducible varieties of lattice-ordered groups
Algebra Universalis | 1985-01-01 | Paper |
Globally determined lattices and semilattices
Algebra Universalis | 1984-01-01 | Paper |
Globals of completely regular periodic semigroups
Semigroup Forum | 1984-01-01 | Paper |
Free products of lattice ordered groups
Algebra Universalis | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3815716 (Why is no real title available?) | 1983-01-01 | Paper |
Free products in the class of Abelian l-groups
Pacific Journal of Mathematics | 1983-01-01 | Paper |
Free Products of Abelian l-Groups are Cardinally Indecomposable
Proceedings of the American Mathematical Society | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3773663 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3670491 (Why is no real title available?) | 1979-01-01 | Paper |
Relative pseudo-complements, join-extensions, and meet-retractions
Mathematische Zeitschrift | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3570508 (Why is no real title available?) | 1975-01-01 | Paper |
Equivalence of multiset-based consequence relations
(available as arXiv preprint) | N/A | Paper |
