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 | 40 | 2021 |
Proof theory of paraconsistent weak Kleene logic F Paoli, M Pra Baldi Studia Logica 108 (4), 779-802, 2020 | 26 | 2020 |
Logics of variable inclusion S Bonzio, T Moraschini, MP Baldi Submitted manuscript, 2018 | 26* | 2018 |
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 | 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 |
Extensions of paraconsistent weak Kleene logic F Paoli, M Pra Baldi Logic Journal of the IGPL 29 (5), 798-822, 2021 | 10 | 2021 |
Counting finite linearly ordered involutive bisemilattices S Bonzio, M Pra Baldi, D Valota International Conference on Relational and Algebraic Methods in Computer …, 2018 | 10 | 2018 |
Containment logics and Płonka sums of matrices S Bonzio, MP Baldi Submitted manuscript, 2018 | 9 | 2018 |
A logical modeling of severe ignorance S Bonzio, V Fano, P Graziani, M Pra Baldi Journal of Philosophical Logic 52 (4), 1053-1080, 2023 | 8 | 2023 |
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 | 6 | 2018 |
On the structure of Bochvar algebras S Bonzio, MP Baldi The Review of Symbolic Logic, 1-27, 2024 | 5 | 2024 |
Paraconsistent Weak Kleene Logic S Bonzio, F Paoli, M Pra Baldi Logics of Variable Inclusion, 159-198, 2022 | 4 | 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 |
Paraconsistent belief revision: an algebraic investigation M Carrara, D Fazio, M Pra Baldi Erkenntnis 89 (2), 725-753, 2024 | 2 | 2024 |
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics M Carrara, F Mancini, M Pra Baldi, W Zhu Studia Logica, 1-25, 2024 | | 2024 |
Equational definitions of logical filters MP Baldi, A Přenosil arXiv preprint arXiv:2401.11276, 2024 | | 2024 |
Logics of left variable inclusion S Bonzio, F Paoli, M Pra Baldi Logics of Variable Inclusion, 107-129, 2022 | | 2022 |