Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Categories of models of R-mingle | Annals of Pure and Applied Logic |
| 10 | 2019 |
Poset Product and BL-Chains | Studia Logica |
| 3 | 2018 |
A note on the substructural hierarchy | Mathematical Logic Quarterly |
| 8 | 2016 |
Conuclear images of substructural logics | Mathematical Logic Quarterly |
| 1 | 2016 |
The subvariety of commutative residuated lattices represented by twist-products | Algebra universalis |
| 11 | 2014 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Semiconic idempotent logic I: Structure and local deduction theorems | Annals of Pure and Applied Logic |
| 2024 | |
Transfer theorems for finitely subdirectly irreducible algebras | Journal of Algebra |
| 2 | 2024 |
A Kripke Semantics for Hajek's BL | Electronic Proceedings in Theoretical Computer Science |
| 2023 |