Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups | Journal of Logic and Computation |
| 2022 | |
Hyper-MacNeille Completions of Heyting Algebras | Studia Logica |
| 2021 | |
Residuated Structures and Orthomodular Lattices | Studia Logica |
| 3 | 2021 |
Definable Operators on Stable Set Lattices | Studia Logica |
| 2020 | |
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions | Journal of Logic and Computation |
| 3 | 2020 |