Michele Pra Baldi

dblp:228/4565 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2025 Equational definitions of logical filters
Michele Pra Baldi, Adam Prenosil
Ann. Pure Appl. Log.1
2022 Containment logics: Algebraic Counterparts and Reduced Models
abstract
Abstract 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
RAMiCS2