Representing quantum structures as near semirings. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Log. J. IGPL, 2016)

Orthogonal relational systems. - Stefano Bonzio; Ivan Chajda; Antonio Ledda (Soft Comput., 2016)

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. - Stefano Bonzio; José Gil-Férez; Francesco Paoli; Luisa Peruzzi (Stud Logica, 2017)

The rhythm of quantum algorithms. - Stefano Bonzio; Paola Verrucchi (Soft Comput., 2017)

Counting Finite Linearly Ordered Involutive Bisemilattices. - Stefano Bonzio; Michele Pra Baldi; Diego Valota (RAMiCS, 2018)

Dualities for Płonka Sums. - Stefano Bonzio (Logica Universalis, 2018)

Sure-Wins Under Coherence: A Geometrical Perspective. - Stefano Bonzio; Tommaso Flaminio; Paolo Galeazzi (ECSQARU, 2019)

A Duality for Involutive Bisemilattices. - Stefano Bonzio; Andrea Loi; Luisa Peruzzi (Stud Logica, 2019)

Logics of left variable inclusion and Płonka sums of matrices. - Stefano Bonzio; Tommaso Moraschini; Michele Pra Baldi (Arch. Math. Log., 2021)

Probability over Płonka sums of Boolean algebras: States, metrics and topology. - Stefano Bonzio; Andrea Loi (Int. J. Approx. Reason., 2021)

Containment Logics: Algebraic Completeness and Axiomatization. - Stefano Bonzio; Michele Pra Baldi (Stud Logica, 2021)

Reliability: an introduction. - Stefano Bonzio; Jürgen Landes; Barbara Osimani (Synth., 2021)

Containment logics: Algebraic Counterparts and Reduced Models. - Stefano Bonzio; Michele Pra Baldi (J. Log. Comput., 2022)

A Logical Modeling of Severe Ignorance. - Stefano Bonzio; Vincenzo Fano; Pierluigi Graziani; Michele Pra Baldi (J. Philos. Log., 2023)

Counterfactuals as modal conditionals, and their probability. - Giuliano Rosella; Tommaso Flaminio; Stefano Bonzio (Artif. Intell., 2023)

On the Structure of Balanced Residuated Partially Ordered Monoids. - Stefano Bonzio; José Gil-Férez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto (RAMiCS, 2024)

Modal weak Kleene logics: axiomatizations and relational semantics. - Stefano Bonzio; Nicolò Zamperlin (J. Log. Comput., 2025)

On the Structure of Bochvar Algebras. - Stefano Bonzio; Michele Pra Baldi (Rev. Symb. Log., 2025)

Balanced residuated partially ordered semigroups. - Stefano Bonzio; José Gil-Férez; Peter Jipsen; Adam Prenosil; Melissa Sugimoto (CoRR, 2025)

Certified algorithms for numerical semigroups in Rocq. - Massimo Bartoletti; Stefano Bonzio; Marco Ferrara (CoRR, 2025)