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 | 41 | 2021 |
Logics of variable inclusion S Bonzio, T Moraschini, MP Baldi Submitted manuscript, 2018 | 29* | 2018 |
Proof theory of paraconsistent weak Kleene logic F Paoli, M Pra Baldi Studia Logica 108 (4), 779-802, 2020 | 26 | 2020 |
Containment logics: algebraic completeness and axiomatization S Bonzio, M Pra Baldi Studia Logica, 1-26, 2021 | 16 | 2021 |
Pure variable inclusion logics F Paoli, M Pra Baldi, D Szmuc Logic and Logical Philosophy 30 (4), 631-652, 2021 | 14 | 2021 |
Extensions of paraconsistent weak Kleene logic F Paoli, M Pra Baldi Logic Journal of the IGPL 29 (5), 798-822, 2021 | 13 | 2021 |
Algebraic analysis of demodalised analytic implication A Ledda, F Paoli, M Pra Baldi Journal of Philosophical Logic 48 (6), 957-979, 2019 | 13 | 2019 |
A logical modeling of severe ignorance S Bonzio, V Fano, P Graziani, M Pra Baldi Journal of Philosophical Logic 52 (4), 1053-1080, 2023 | 9 | 2023 |
Counting finite linearly ordered involutive bisemilattices S Bonzio, M Pra Baldi, D Valota International Conference on Relational and Algebraic Methods in Computer …, 2018 | 9 | 2018 |
Containment logics and Płonka sums of matrices S Bonzio, MP Baldi Submitted manuscript, 2018 | 9 | 2018 |
On the structure of Bochvar algebras S Bonzio, M Pra Baldi The Review of Symbolic Logic, 1-27, 2024 | 7 | 2024 |
Logics of variable inclusion and the lattice of consequence relations M Pra Baldi Journal of Applied Non-Classical Logics 30 (4), 367-381, 2020 | 7 | 2020 |
An algebraic study of logics of variable inclusion and analytic containment M Pra Baldi Università degli studi di Padova, 2018 | 5 | 2018 |
Paraconsistent belief revision: an algebraic investigation M Carrara, D Fazio, M Pra Baldi Erkenntnis 89 (2), 725-753, 2024 | 3 | 2024 |
Paraconsistent Weak Kleene Logic S Bonzio, F Paoli, M Pra Baldi Logics of Variable Inclusion, 159-198, 2022 | 3 | 2022 |
Containment logics: Algebraic counterparts and reduced models S Bonzio, M Pra Baldi Journal of Logic and Computation 32 (4), 808-831, 2022 | 3 | 2022 |
On a Logico-Algebraic Approach to AGM Belief Contraction Theory D Fazio, M Pra Baldi Journal of Philosophical Logic, 1-28, 2021 | 3 | 2021 |
Bochvar algebras: A categorical equivalence and the generated variety S Bonzio, F Paoli, MP Baldi arXiv preprint arXiv:2412.14911, 2024 | 1 | 2024 |
The external version of a subclassical logic M Carrara, MP Baldi arXiv preprint arXiv:2502.08257, 2025 | | 2025 |
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics M Carrara, F Mancini, M Pra Baldi, W Zhu Studia Logica 112 (6), 1439-1463, 2024 | | 2024 |