Publications
Journal papers
SB and M. Pra Baldi. On the structure of Bochvar algebras, The Review of Symbolic Logic, 2024. Preprint.
SB and A. Loi. Embeddings of metric Boolean algebras in R^N, Topology and its Applications, 2024.
G. Rosella, T. Flaminio, SB. Counterfactuals as modal conditionals, and their probability, Artificial Intelligence, 2023.
SB, V. Fano, P. Graziani and M. Pra Baldi. A logical modeling of severe ignorance, Journal of Philosophical Logic, 2023.
F. Boem, SB, B. Osimani and A. Sacco. The Cochrane case: an epistemic analysis on decision-making and trust in science in the age of information, Foundations of Science, 2023.
SB and M. Pra Baldi. Containment logics: algebraic counterpart and reduced models, Journal of Logic and Computation, 2022.
F. Boem and SB. A logic for a critical attitude?, Logic and Logical Philosophy, 2022.
SB and A. Loi. Probability over Plonka sums of Boolean algebras: states, metrics and topology, International Journal of Approximate Reasoning, 2021.
SB, G. Cevolani and T. Flaminio. How to believe long conjunctions of beliefs: rational belief, probability, and quasi-dogmatism, Erkenntnis, 2021.
SB and M. Pra Baldi. Containment logics: algebraic completeness and axiomatization, Studia Logica, 2021.
SB, T. Moraschini and M. Pra Baldi. Logics of left variables inclusion and Plonka sums of matrices, Archive for Mathematical Logic, 2021. Preprint
SB, J. Landes and B. Osimani. Reliability: an Introduction, Synthese, 2021.
SB and A. Loi. The Plonka product of topological spaces, Algebra Universalis, 2019.
SB, A. Loi and L. Peruzzi. A duality for involutive bisemilattices, Studia Logica, 2019.
SB, T. Flaminio and P. Galeazzi. Sure-wins under coherence: a geometrical perspective. In: Kern-Isberner G., Ognjanovic Z. (eds.) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2019. Lecture Notes in Computer Science, vol 11726, 2019.
SB. Dualities for Plonka sums, Logica Universalis, 2018.
SB, M. Pra Baldi and D. Valota. Counting finite linearly ordered involutive bisemilattices. In: Desharnais J., Guttmann W., Joosten S. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2018. Lecture Notes in Computer Science, vol 11194, 2018.
SB, A. Loi and L. Peruzzi. On the nxnxn Rubik's Cube, Mathematica Slovaca, 2018.
SB and I. Chajda. Residuated relational systems, Asian-European Journal of Mathematics, 2018.
SB, J. Gil-Férez, F. Paoli and L. Peruzzi. On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis, Studia Logica, 2017.
SB, A. Loi and L. Peruzzi. The first law of Cubology for the Rubik's Revenge, Mathematica Slovaca, 2017.
SB and P. Verrucchi. The rhythm of Quantum algorithms, Soft Computing, 2017.
SB and I. Chajda. A note on orthomodular lattices, International Journal of Theoretical Physics, 2016.
SB, I. Chajda and A. Ledda. Representing quantum structures as neas semirings, Logic Journal of the IGPL, 2016.
SB, I.Chajda and A. Ledda. Orthogonal relational systems, Soft Computing, 2016.
Books
SB, F. Paoli and M. Pra Baldi. Logics of variable inclusion, Trends in Logic, Springer, 2022.
Submitted works
SB, J. Gil-Férez, P. Jipsen, A. Prenosil and M. Sugimoto. On the structure of balanced residuated partially-ordered monoids.
SB and N. Zamperlin. Modal weak Kleene logics: axiomatizations and relational semantics. Preprint.