VLDB 2026 Research / reviewers in the wild / expert
Michele Pra Baldi
dblp:228/4565
· DBLP profile ↗
3ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0002-7869-7405ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Equational definitions of logical filters
Michele Pra Baldi, Adam Prenosil |
Ann. Pure Appl. Log. | 1 |
| 2022 | Containment logics: Algebraic Counterparts and Reduced ModelsabstractAbstract The containment companion of a logic $\vdash $ consists of the consequence relation $\vdash ^{r}$ which satisfies all the inferences of $\vdash $, where the variables of the conclusion are contained into those of the set of premises, in case this is not inconsistent. Following the algebraic analysis started in Bonzio and Pra Baldi (2021, Studia Logica, 109, 969–994), this paper characterizes the algebraic counterpart of a finitary containment logic $\vdash ^{r}$ and investigates the structure of the Leibniz and Suszko reduced models. The analysis is carried within the framework of abstract algebraic logic.Mathematics Subject Classification: Primary: 03G27. Secondary: 03G25 Stefano Bonzio, Michele Pra Baldi |
J. Log. Comput. | 2 |
| 2018 | Counting Finite Linearly Ordered Involutive Bisemilattices
Stefano Bonzio, Michele Pra Baldi, Diego Valota |
RAMiCS | 2 |