| Publication | Date of Publication | Type |
|---|
Atomic Boolean lattice completions of ordered sets
Order | 2025-12-02 | Paper |
Polynomial-time equational theory for lattices with unary operators
Order | 2025-12-02 | Paper |
Complexity of the universal theory of residuated ordered groupoids
Journal of Logic, Language and Information | 2023-08-14 | Paper |
On Levine’s notorious hat puzzle
Number Theory and Combinatorics | 2022-08-12 | Paper |
| On Levine's notorious hat puzzle | 2022-03-24 | Paper |
Computational complexity for bounded distributive lattices with negation
Annals of Pure and Applied Logic | 2021-06-14 | Paper |
Complexity of the universal theory of modal algebras
Studia Logica | 2020-03-27 | Paper |
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
(available as arXiv preprint) | 2019-10-12 | Paper |
Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
Algebra Universalis | 2019-08-09 | Paper |
Distributive and completely distributive lattice extensions of ordered sets
International Journal of Algebra and Computation | 2018-07-12 | Paper |
Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
Fuzzy Sets and Systems | 2018-02-19 | Paper |
The canonical FEP construction
Journal Of Logic And Computation | 2017-05-17 | Paper |
Embedding ordered sets into distributive lattices
Order | 2016-12-16 | Paper |
An algebraic look at filtrations in modal logic
Logic Journal of the IGPL | 2015-02-27 | Paper |
Modal MTL-algebras
Fuzzy Sets and Systems | 2014-04-14 | Paper |
Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras
Theoretical Computer Science | 2014-01-10 | Paper |
Prelinear algebras in relatively regular quasivarieties
Order | 2013-06-26 | Paper |
Preservation theorems for MTL-chains
Logic Journal of the IGPL | 2012-05-21 | Paper |
Completion and finite embeddability property for residuated ordered algebras.
Algebra Universalis | 2010-09-10 | Paper |
Relational Representation Theorems for Lattices with Negations: A Survey
Theory and Applications of Relational Structures as Knowledge Instruments II | 2009-01-20 | Paper |
Structural Completeness in Substructural Logics
Logic Journal of the IGPL | 2008-12-05 | Paper |
Relational Representation Theorems for General Lattices with Negations
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
A vector lattice version of r˚ adström's embedding theorem
Quaestiones Mathematicae | 2008-04-01 | Paper |
On the variety of Riesz spaces
Indagationes Mathematicae. New Series | 2007-09-19 | Paper |
Implicational subreducts of \(n\)-potent commutative residuated lattices
Algebra Universalis | 2007-09-03 | Paper |
On varieties of biresiduation algebras
Studia Logica | 2006-10-27 | Paper |
| Corrigendum: Residuation in commutative ordered monoids with minimal zero | 2006-09-14 | Paper |
The finite model property for knotted extensions of propositional linear logic
Journal of Symbolic Logic | 2006-02-08 | Paper |
Congruence properties in congruence permutable and in ideal determined varieties, with applications.
Algebra Universalis | 2006-01-06 | Paper |
On the finite embeddability property for residuated ordered groupoids
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
Algebra Universalis | 2005-04-19 | Paper |
The Termwise Equivalence of The Varieties ofL-group Cones and Cancellative Generalized Hoops
Quaestiones Mathematicae | 2005-02-28 | Paper |
Rule separation and embedding theorems for logics without weakening
Studia Logica | 2004-08-06 | Paper |
Representable biresiduated lattices
Journal of Algebra | 2002-12-15 | Paper |
Residuation in commutative ordered monoids with minimal zero
Reports on Mathematical Logic | 2002-11-04 | Paper |
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
Reports on Mathematical Logic | 2002-03-25 | Paper |
On the lattice of varieties of residuation algebras
Algebra Universalis | 2001-06-10 | Paper |
| scientific article; zbMATH DE number 1415870 (Why is no real title available?) | 2000-10-26 | Paper |
The finite model property for the implicational fragment of IPC without exchange and contraction
Studia Logica | 2000-06-04 | Paper |
ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION
Quaestiones Mathematicae | 2000-05-07 | Paper |
| scientific article; zbMATH DE number 1076476 (Why is no real title available?) | 1999-05-05 | Paper |
