Follow
Michele Pra Baldi
Michele Pra Baldi
Verified email at unipd.it
Title
Cited by
Cited by
Year
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
382021
Proof theory of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Studia Logica 108 (4), 779-802, 2020
232020
Logics of variable inclusion
S Bonzio, T Moraschini, MP Baldi
Submitted manuscript, 2018
22*2018
Containment logics: algebraic completeness and axiomatization
S Bonzio, M Pra Baldi
Studia Logica, 1-26, 2021
162021
Pure variable inclusion logics
F Paoli, M Pra Baldi, D Szmuc
Logic and Logical Philosophy 30 (4), 631-652, 2021
122021
Algebraic analysis of demodalised analytic implication
A Ledda, F Paoli, M Pra Baldi
Journal of Philosophical Logic 48 (6), 957-979, 2019
122019
Counting finite linearly ordered involutive bisemilattices
S Bonzio, M Pra Baldi, D Valota
International Conference on Relational and Algebraic Methods in Computerá…, 2018
102018
Containment logics and Płonka sums of matrices
S Bonzio, MP Baldi
Submitted manuscript, 2018
92018
Extensions of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Logic Journal of the IGPL 29 (5), 798-822, 2021
82021
A logical modeling of severe ignorance
S Bonzio, V Fano, P Graziani, M Pra Baldi
Journal of Philosophical Logic 52 (4), 1053-1080, 2023
72023
Logics of variable inclusion and the lattice of consequence relations
M Pra Baldi
Journal of Applied Non-Classical Logics 30 (4), 367-381, 2020
72020
An algebraic study of logics of variable inclusion and analytic containment
M Pra Baldi
UniversitÓ degli studi di Padova, 2018
62018
Containment logics: Algebraic counterparts and reduced models
S Bonzio, M Pra Baldi
Journal of Logic and Computation 32 (4), 808-831, 2022
42022
On the structure of Bochvar algebras
S Bonzio, MP Baldi
arXiv preprint arXiv:2305.05457, 2023
32023
Paraconsistent Weak Kleene Logic
S Bonzio, F Paoli, M Pra Baldi
Logics of Variable Inclusion, 159-198, 2022
32022
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
D Fazio, M Pra Baldi
Journal of Philosophical Logic, 1-28, 2021
32021
Paraconsistent belief revision: an algebraic investigation
M Carrara, D Fazio, M Pra Baldi
Erkenntnis 89 (2), 725-753, 2024
12024
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
Conclusions and Open Problems
S Bonzio, F Paoli, M Pra Baldi
Logics of Variable Inclusion, 199-204, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20