| Publication | Date of Publication | Type |
|---|
| Unification via projectivity in varieties of hoops | 2026-04-27 | Paper |
The algebras of Lewis's counterfactuals: duality theory
The Review of Symbolic Logic | 2026-03-03 | Paper |
Free constructions in hoops via -groups
Studia Logica | 2025-10-14 | Paper |
The algebras of Lewis's counterfactuals: axiomatizations and algebraizability
The Review of Symbolic Logic | 2025-08-25 | Paper |
The polyhedral geometry of Wajsberg hoops
Journal of Logic and Computation | 2025-03-19 | Paper |
Structural and universal completeness in algebra and logic
Annals of Pure and Applied Logic | 2024-01-08 | Paper |
The Algebras of Lewis's Counterfactuals
(available as arXiv preprint) | 2024-01-01 | Paper |
Algebraic structure theory and interpolation failures in semilinear logics
(available as arXiv preprint) | 2024-01-01 | Paper |
Gluing residuated lattices
Order | 2023-12-19 | Paper |
| Maximal theories of product logic | 2023-08-25 | Paper |
An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic
Lecture Notes in Computer Science | 2023-07-26 | Paper |
Projectivity and unification in substructural logics of generalized rotations
International Journal of Approximate Reasoning | 2023-01-06 | Paper |
Projectivity in (bounded) commutative integral residuated lattices
Algebra Universalis | 2022-12-19 | Paper |
| Canonical extension of possibility measures to Boolean algebras of conditionals | 2022-06-15 | Paper |
Strictly join irreducible varieties of residuated lattices
Journal Of Logic And Computation | 2022-02-08 | Paper |
| The polyhedral geometry of Wajsberg hoops | 2022-01-18 | Paper |
Rotation logics
Fuzzy Sets and Systems | 2021-01-19 | Paper |
| Projectivity in (bounded) integral residuated lattices | 2020-08-30 | Paper |
Hyperstates of involutive MTL-algebras that satisfy \((2x)^2=2(x^2)\)
Logic in Asia: Studia Logica Library | 2020-07-14 | Paper |
MTL-algebras as rotations of basic hoops
Journal Of Logic And Computation | 2020-02-03 | Paper |
Representation by triples of algebras with an MV-retract
Fuzzy Sets and Systems | 2019-10-16 | Paper |
A topological approach to MTL-algebras
Algebra Universalis | 2019-09-12 | Paper |
Corrigendum to: ``Towards a probability theory for product logic: states, integral representation and reasoning''
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Towards a probability theory for product logic: states, integral representation and reasoning
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops
Journal Of Logic And Computation | 2018-11-20 | Paper |
A categorical equivalence for product algebras
Studia Logica | 2015-07-02 | Paper |
