Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
10.18514/MMN.2017.1730 | 2017 | |||
10.1017/S1755020313000099 | The Review of Symbolic Logic |
| 2013 | |
Cut elimination and strong separation for substructural logics: An algebraic approach | Annals of Pure and Applied Logic |
| 22 | 2010 |
Are basic algebras residuated structures? | Soft Computing |
| 15 | 2010 |
10.21136/MB.2009.140646 | 2009 |
Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Semiorthomodular BZ⁎–lattices | Fuzzy Sets and Systems |
| 2023 | |
A SUBSTRUCTURAL GENTZEN CALCULUS FOR ORTHOMODULAR QUANTUM LOGIC | The Review of Symbolic Logic |
| 2022 | |
An algebraic analysis of implication in non-distributive logics | Journal of Logic and Computation |
| 2022 |