دنبال کردن
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
412021
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
262020
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
142021
Extensions of paraconsistent weak Kleene logic
F Paoli, M Pra Baldi
Logic Journal of the IGPL 29 (5), 798-822, 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
A logical modeling of severe ignorance
S Bonzio, V Fano, P Graziani, M Pra Baldi
Journal of Philosophical Logic 52 (4), 1053-1080, 2023
92023
Counting finite linearly ordered involutive bisemilattices
S Bonzio, M Pra Baldi, D Valota
International Conference on Relational and Algebraic Methods in Computer …, 2018
92018
Containment logics and Płonka sums of matrices
S Bonzio, MP Baldi
Submitted manuscript, 2018
92018
On the structure of Bochvar algebras
S Bonzio, M Pra Baldi
The Review of Symbolic Logic, 1-27, 2024
72024
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
52018
Paraconsistent belief revision: an algebraic investigation
M Carrara, D Fazio, M Pra Baldi
Erkenntnis 89 (2), 725-753, 2024
32024
Paraconsistent Weak Kleene Logic
S Bonzio, F Paoli, M Pra Baldi
Logics of Variable Inclusion, 159-198, 2022
32022
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
Bochvar algebras: A categorical equivalence and the generated variety
S Bonzio, F Paoli, MP Baldi
arXiv preprint arXiv:2412.14911, 2024
12024
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
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20