Stefano Bonzio

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Conditional Logic

Set Valued Attributes

Partially Ordered

Top Venues

Publications

Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
On the Structure of Balanced Residuated Partially Ordered Monoids. RAMiCS (2024)
Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio
Counterfactuals as modal conditionals, and their probability. Artif. Intell. 323 (2023)
Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi
A Logical Modeling of Severe Ignorance. J. Philos. Log. 52 (4) (2023)
Stefano Bonzio, Michele Pra Baldi
Containment logics: Algebraic Counterparts and Reduced Models. J. Log. Comput. 32 (4) (2022)
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
Logics of left variable inclusion and Płonka sums of matrices. Arch. Math. Log. 60 (1-2) (2021)
Stefano Bonzio, Michele Pra Baldi
Containment Logics: Algebraic Completeness and Axiomatization. Stud Logica 109 (5) (2021)
Stefano Bonzio, Jürgen Landes, Barbara Osimani
Reliability: an introduction. Synth. 198 (23) (2021)
Stefano Bonzio, Andrea Loi
Probability over Płonka sums of Boolean algebras: States, metrics and topology. Int. J. Approx. Reason. 136 (2021)
Stefano Bonzio, Tommaso Flaminio, Paolo Galeazzi
Sure-Wins Under Coherence: A Geometrical Perspective. ECSQARU (2019)
Stefano Bonzio, Andrea Loi, Luisa Peruzzi
A Duality for Involutive Bisemilattices. Stud Logica 107 (2) (2019)
Stefano Bonzio, Michele Pra Baldi, Diego Valota
Counting Finite Linearly Ordered Involutive Bisemilattices. RAMiCS (2018)
Stefano Bonzio
Dualities for Płonka Sums. Logica Universalis 12 (3-4) (2018)
Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi
On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Stud Logica 105 (2) (2017)
Stefano Bonzio, Paola Verrucchi
The rhythm of quantum algorithms. Soft Comput. 21 (6) (2017)
Stefano Bonzio, Ivan Chajda, Antonio Ledda
Representing quantum structures as near semirings. Log. J. IGPL 24 (5) (2016)
Stefano Bonzio, Ivan Chajda, Antonio Ledda
Orthogonal relational systems. Soft Comput. 20 (11) (2016)