| Publication | Date of Publication | Type |
|---|
Semiconic idempotent logic. II: Beth definability and deductive interpolation
Annals of Pure and Applied Logic | 2025-01-08 | Paper |
Almost minimal varieties of commutative residuated lattices
International Journal of Algebra and Computation | 2024-08-27 | Paper |
Unilinear residuated lattices: axiomatization, varieties and FEP
Algebra Universalis | 2024-07-08 | Paper |
Decidability of lattice equations
Studia Logica | 2024-06-26 | Paper |
Semiconic idempotent logic. I: Structure and local deduction theorems.
Annals of Pure and Applied Logic | 2024-05-14 | Paper |
Distributive \(\ell\)-pregroups: generation and decidability
Journal of Algebra | 2024-04-21 | Paper |
Gluing residuated lattices
Order | 2023-12-19 | Paper |
Decidability of distributive l-pregroups
| 2023-10-19 | Paper |
Unilinear residuated lattices: axiomatization, varieties and FEP
| 2023-04-11 | Paper |
Complemented MacNeille completions and algebras of fractions
Journal of Algebra | 2023-04-04 | Paper |
Weakening Relation Algebras and FL$$^2$$-algebras
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
Journal of Symbolic Logic | 2022-08-29 | Paper |
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
| 2022-08-20 | Paper |
Twist structures and Nelson conuclei
Studia Logica | 2022-07-22 | Paper |
From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again
Journal of Algebra | 2022-04-06 | Paper |
Theorems of Alternatives for Substructural Logics
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Complemented MacNeille completions and algebras of fractions
| 2021-11-18 | Paper |
Densification via polynomials, languages, and frames
Journal of Pure and Applied Algebra | 2021-09-17 | Paper |
Twist structures and Nelson conuclei
| 2021-06-18 | Paper |
Lattice-ordered pregroups are semi-distributive
Algebra Universalis | 2021-03-03 | Paper |
From distributive l-monoids to l-groups, and back again
| 2021-02-27 | Paper |
The structure of generalized BI-algebras and weakening relation algebras
Algebra Universalis | 2020-07-13 | Paper |
Most simple extensions of $\mathsf{FL_e}$ are undecidable
| 2020-05-01 | Paper |
Categories of models of \(\mathbf{R}\)-mingle
Annals of Pure and Applied Logic | 2019-07-10 | Paper |
Distributive residuated frames and generalized bunched implication algebras
Algebra Universalis | 2017-12-21 | Paper |
The FEP for some varieties of fully distributive knotted residuated lattices
Algebra Universalis | 2017-12-21 | Paper |
Categories of Models of R-Mingle
| 2017-10-11 | Paper |
Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
Algebra Universalis | 2017-06-22 | Paper |
Algebraic proof theory: hypersequents and hypercompletions
Annals of Pure and Applied Logic | 2016-12-23 | Paper |
Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
Journal of Pure and Applied Algebra | 2016-09-05 | Paper |
Proof theory for lattice-ordered groups
Annals of Pure and Applied Logic | 2016-05-20 | Paper |
The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
International Journal of Algebra and Computation | 2015-05-29 | Paper |
Idempotent residuated structures: Some category equivalences and their applications
Transactions of the American Mathematical Society | 2015-04-22 | Paper |
Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
Semigroup Forum | 2014-04-25 | Paper |
Residuated frames with applications to decidability
Transactions of the American Mathematical Society | 2013-04-16 | Paper |
Preface to the special issue: Recent developments related to residuated lattices and substructural logics
Studia Logica | 2013-02-18 | Paper |
Relation algebras as expanded FL-algebras
Algebra Universalis | 2013-02-05 | Paper |
A category equivalence for odd Sugihara monoids and its applications
Journal of Pure and Applied Algebra | 2013-01-30 | Paper |
Periodic lattice-ordered pregroups are distributive
Algebra Universalis | 2012-11-27 | Paper |
Generalized ordinal sums and translations
Logic Journal of the IGPL | 2012-05-21 | Paper |
Algebraic proof theory for substructural logics: cut-elimination and completions
Annals of Pure and Applied Logic | 2012-04-13 | Paper |
MacNeille completions of FL-algebras
Algebra Universalis | 2011-12-14 | Paper |
Cut elimination and strong separation for substructural logics: an algebraic approach
Annals of Pure and Applied Logic | 2011-08-26 | Paper |
A survey of generalized Basic Logic algebras
| 2011-05-18 | Paper |
Equivalence of consequence relations: an order-theoretic and categorical perspective
Journal of Symbolic Logic | 2009-09-29 | Paper |
Irreducible residuated semilattices and finitely based varieties
| 2008-06-18 | Paper |
Residuated lattices. An algebraic glimpse at substructural logics
Studies in Logic and the Foundations of Mathematics | 2007-05-30 | Paper |
Glivenko theorems for substructural logics over FL
Journal of Symbolic Logic | 2007-01-19 | Paper |
Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
Studia Logica | 2006-10-27 | Paper |
Minimal varieties of residuated lattices
Algebra Universalis | 2006-01-06 | Paper |
scientific article; zbMATH DE number 2208122 (Why is no real title available?)
| 2005-09-26 | Paper |
Generalized MV-algebras
Journal of Algebra | 2005-04-07 | Paper |
Adding involution to residuated structures
Studia Logica | 2005-04-07 | Paper |
Equational bases for joins of residuated-lattice varieties
Studia Logica | 2004-08-06 | Paper |
Generation and decidability for periodic l-pregroups
| N/A | Paper |
