Stefano Bonzio

22 papers C 4Journal 17
YearRankTypeTitle / Venue / Authors
2025 J jnl
Balanced residuated partially ordered semigroups.
CoRR
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2025 C conf
Certified Algorithms for Numerical Semigroups in Rocq.
CICM
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
2025 J jnl
Certified algorithms for numerical semigroups in Rocq.
CoRR
Massimo Bartoletti, Stefano Bonzio, Marco Ferrara
2025 J jnl
Modal weak Kleene logics: axiomatizations and relational semantics.
J. Log. Comput.
Stefano Bonzio, Nicolò Zamperlin
2025 J jnl
On the Structure of Bochvar Algebras.
Rev. Symb. Log.
Stefano Bonzio, Michele Pra Baldi
2024 C conf
On the Structure of Balanced Residuated Partially Ordered Monoids.
RAMiCS
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
2023 J jnl
A Logical Modeling of Severe Ignorance.
J. Philos. Log.
Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi
2023 J jnl
Counterfactuals as modal conditionals, and their probability.
Artif. Intell.
Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio
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
Logics of left variable inclusion and Płonka sums of matrices.
Arch. Math. Log.
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
2021 J jnl
Probability over Płonka sums of Boolean algebras: States, metrics and topology.
Int. J. Approx. Reason.
Stefano Bonzio, Andrea Loi
2021 J jnl
Reliability: an introduction.
Synth.
Stefano Bonzio, Jürgen Landes, Barbara Osimani
2019 J jnl
A Duality for Involutive Bisemilattices.
Stud Logica
Stefano Bonzio, Andrea Loi, Luisa Peruzzi
2019 C conf
Sure-Wins Under Coherence: A Geometrical Perspective.
ECSQARU
Stefano Bonzio, Tommaso Flaminio, Paolo Galeazzi
2018 C conf
Counting Finite Linearly Ordered Involutive Bisemilattices.
RAMiCS
Stefano Bonzio, Michele Pra Baldi, Diego Valota
2018 J jnl
Dualities for Płonka Sums.
Logica Universalis
Stefano Bonzio
2017 J jnl
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.
Stud Logica
Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi
2017 J jnl
The rhythm of quantum algorithms.
Soft Comput.
Stefano Bonzio, Paola Verrucchi
2016 — —
Algebraic structures from quantum and fuzzy logics.
Stefano Bonzio
2016 J jnl
Orthogonal relational systems.
Soft Comput.
Stefano Bonzio, Ivan Chajda, Antonio Ledda
2016 J jnl
Representing quantum structures as near semirings.
Log. J. IGPL
Stefano Bonzio, Ivan Chajda, Antonio Ledda