On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis S Bonzio, J Gil-Férez, F Paoli, L Peruzzi Studia Logica 105 (2), 253-297, 2017 | 63 | 2017 |
Residuated relational systems S Bonzio, I Chajda Asian-European journal of mathematics 11 (02), 1850024, 2018 | 41 | 2018 |
Logics of left variable inclusion and Płonka sums of matrices S Bonzio, T Moraschini, M Pra Baldi Archive for Mathematical Logic 60 (1), 49-76, 2021 | 36 | 2021 |
A duality for involutive bisemilattices S Bonzio, A Loi, L Peruzzi Studia Logica 107, 423-444, 2019 | 22 | 2019 |
Algebraic structures from quantum and fuzzy logics S Bonzio Università degli Studi di Cagliari, 2016 | 22 | 2016 |
Logics of variable inclusion S Bonzio, F Paoli, MP Baldi Springer, 2022 | 19 | 2022 |
Representing quantum structures as near semirings S Bonzio, I Chajda, A Ledda Logic Journal of the IGPL 24 (5), 719-742, 2016 | 16 | 2016 |
Containment logics: Algebraic completeness and axiomatization S Bonzio, M Pra Baldi Studia Logica 109 (5), 969-994, 2021 | 15 | 2021 |
Dualities for Płonka sums S Bonzio Logica Universalis 12 (3), 327-339, 2018 | 11 | 2018 |
Counting finite linearly ordered involutive bisemilattices S Bonzio, MP Baldi, D Valota Relational and Algebraic Methods in Computer Science: 17th International …, 2018 | 10 | 2018 |
Containment logics and Płonka sums of matrices S Bonzio, MP Baldi Submitted manuscript, 2018 | 9 | 2018 |
A note on orthomodular lattices S Bonzio, I Chajda International Journal of Theoretical Physics 56, 3740-3743, 2017 | 8 | 2017 |
A logical modeling of severe ignorance S Bonzio, V Fano, P Graziani, M Pra Baldi Journal of Philosophical Logic 52 (4), 1053-1080, 2023 | 7 | 2023 |
On the n × n × n Rubik's Cube S Bonzio, A Loi, L Peruzzi Mathematica Slovaca 68 (5), 957-974, 2018 | 7 | 2018 |
The first law of cubology for the Rubik’s Revenge S Bonzio, A Loi, L Peruzzi Mathematica Slovaca 67 (3), 561-572, 2017 | 6 | 2017 |
Containment logics: Algebraic counterparts and reduced models S Bonzio, M Pra Baldi Journal of Logic and Computation 32 (4), 808-831, 2022 | 4 | 2022 |
Orthogonal relational systems S Bonzio, I Chajda, A Ledda Soft Computing 20, 4403-4411, 2016 | 4 | 2016 |
On the structure of Bochvar algebras S Bonzio, MP Baldi arXiv preprint arXiv:2305.05457, 2023 | 3 | 2023 |
How to believe long conjunctions of beliefs: probability, quasi-dogmatism and contextualism S Bonzio, G Cevolani, T Flaminio Erkenntnis 88 (3), 965-990, 2023 | 3 | 2023 |
Paraconsistent Weak Kleene Logic S Bonzio, F Paoli, M Pra Baldi Logics of Variable Inclusion, 159-198, 2022 | 3 | 2022 |