关注
Michele Pra Baldi
Michele Pra Baldi
在 unipd.it 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
402021
Proof theory of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Studia Logica 108 (4), 779-802, 2020
262020
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
162021
Pure variable inclusion logics
F Paoli, M Pra Baldi, D Szmuc
Logic and Logical Philosophy 30 (4), 631-652, 2021
132021
Algebraic analysis of demodalised analytic implication
A Ledda, F Paoli, M Pra Baldi
Journal of Philosophical Logic 48 (6), 957-979, 2019
132019
Extensions of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Logic Journal of the IGPL 29 (5), 798-822, 2021
102021
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
A logical modeling of severe ignorance
S Bonzio, V Fano, P Graziani, M Pra Baldi
Journal of Philosophical Logic 52 (4), 1053-1080, 2023
82023
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
On the structure of Bochvar algebras
S Bonzio, MP Baldi
The Review of Symbolic Logic, 1-27, 2024
52024
Paraconsistent Weak Kleene Logic
S Bonzio, F Paoli, M Pra Baldi
Logics of Variable Inclusion, 159-198, 2022
42022
Containment logics: Algebraic counterparts and reduced models
S Bonzio, M Pra Baldi
Journal of Logic and Computation 32 (4), 808-831, 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
22024
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
系统目前无法执行此操作,请稍后再试。
文章 1–20