Michele Pra Baldi

14 papers C 1Journal 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Equational definitions of logical filters.
Ann. Pure Appl. Log.
Michele Pra Baldi, Adam Prenosil
2025 J jnl
On the Structure of Bochvar Algebras.
Rev. Symb. Log.
Stefano Bonzio, Michele Pra Baldi
2025 J jnl
The External Version of a Subclassical Logic.
Rev. Symb. Log.
Massimiliano Carrara, Michele Pra Baldi
2024 J jnl
A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.
Stud Logica
Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu
2023 J jnl
A Logical Modeling of Severe Ignorance.
J. Philos. Log.
Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi
2022 J jnl
Containment logics: Algebraic Counterparts and Reduced Models.
J. Log. Comput.
Stefano Bonzio, Michele Pra Baldi
2021 J jnl
Containment Logics: Algebraic Completeness and Axiomatization.
Stud Logica
Stefano Bonzio, Michele Pra Baldi
2021 J jnl
Extensions of paraconsistent weak Kleene logic.
Log. J. IGPL
Francesco Paoli, Michele Pra Baldi
2021 J jnl
Logics of left variable inclusion and Płonka sums of matrices.
Arch. Math. Log.
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
2021 J jnl
On a Logico-Algebraic Approach to AGM Belief Contraction Theory.
J. Philos. Log.
Davide Fazio, Michele Pra Baldi
2020 J jnl
Logics of variable inclusion and the lattice of consequence relations.
J. Appl. Non Class. Logics
Michele Pra Baldi
2020 J jnl
Proof Theory of Paraconsistent Weak Kleene Logic.
Stud Logica
Francesco Paoli, Michele Pra Baldi
2019 J jnl
Algebraic Analysis of Demodalised Analytic Implication.
J. Philos. Log.
Antonio Ledda, Francesco Paoli, Michele Pra Baldi
2018 C conf
Counting Finite Linearly Ordered Involutive Bisemilattices.
RAMiCS
Stefano Bonzio, Michele Pra Baldi, Diego Valota