Articles with public access mandates - Michele Pra BaldiLearn more
Not available anywhere: 3
Proof theory of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Studia Logica 108 (4), 779-802, 2020
Mandates: European Commission, Government of Italy
Extensions of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Logic Journal of the IGPL 29 (5), 798-822, 2021
Mandates: Government of Italy
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
D Fazio, M Pra Baldi
Journal of Philosophical Logic, 1-28, 2021
Mandates: Government of Italy
Available somewhere: 8
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
Mandates: European Commission, Government of Spain, Government of Italy
Containment logics: algebraic completeness and axiomatization
S Bonzio, M Pra Baldi
Studia Logica, 1-26, 2021
Mandates: European Commission, Government of Italy
Pure variable inclusion logics
F Paoli, M Pra Baldi, D Szmuc
Logic and Logical Philosophy 30 (4), 631-652, 2021
Mandates: Government of Italy, Government of Argentina
Algebraic analysis of demodalised analytic implication
A Ledda, F Paoli, M Pra Baldi
Journal of Philosophical Logic 48 (6), 957-979, 2019
Mandates: European Commission, Government of Italy
A logical modeling of severe ignorance
S Bonzio, V Fano, P Graziani, M Pra Baldi
Journal of Philosophical Logic 52 (4), 1053-1080, 2023
Mandates: European Commission, Government of Spain
Logics of variable inclusion and the lattice of consequence relations
M Pra Baldi
Journal of Applied Non-Classical Logics 30 (4), 367-381, 2020
Mandates: Government of Italy
On the structure of Bochvar algebras
S Bonzio, MP Baldi
The Review of Symbolic Logic, 1-28, 2022
Mandates: European Commission, Government of Spain, Government of Italy
Containment logics: Algebraic counterparts and reduced models
S Bonzio, M Pra Baldi
Journal of Logic and Computation 32 (4), 808-831, 2022
Mandates: European Commission, Government of Italy
Publication and funding information is determined automatically by a computer program