Stefano Bonzio

According to our database, Stefano Bonzio authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Structure of Balanced Residuated Partially Ordered Monoids.

Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Counterfactuals as modal conditionals, and their probability.

Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio

Artif. Intell., October, 2023

A Logical Modeling of Severe Ignorance.

Stefano Bonzio, Vincenzo Fano, Pierluigi Graziani, Michele Pra Baldi

J. Philos. Log., August, 2023

2022

Containment logics: Algebraic Counterparts and Reduced Models.

Stefano Bonzio, Michele Pra Baldi

J. Log. Comput., 2022

2021

Reliability: an introduction.

Stefano Bonzio, Jürgen Landes, Barbara Osimani

Synth., 2021

Containment Logics: Algebraic Completeness and Axiomatization.

Stefano Bonzio, Michele Pra Baldi

Stud Logica, 2021

Probability over Płonka sums of Boolean algebras: States, metrics and topology.

Stefano Bonzio, Andrea Loi

Int. J. Approx. Reason., 2021

Logics of left variable inclusion and Płonka sums of matrices.

Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi

Arch. Math. Log., 2021

2019

A Duality for Involutive Bisemilattices.

Stefano Bonzio, Andrea Loi, Luisa Peruzzi

Stud Logica, 2019

Sure-Wins Under Coherence: A Geometrical Perspective.

Stefano Bonzio, Tommaso Flaminio, Paolo Galeazzi

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Dualities for Płonka Sums.

Stefano Bonzio

Logica Universalis, 2018

Counting Finite Linearly Ordered Involutive Bisemilattices.

Stefano Bonzio, Michele Pra Baldi, Diego Valota

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

The rhythm of quantum algorithms.

Stefano Bonzio, Paola Verrucchi

Soft Comput., 2017

On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.

Stefano Bonzio, José Gil-Férez, Francesco Paoli, Luisa Peruzzi

Stud Logica, 2017

2016

Orthogonal relational systems.

Stefano Bonzio, Ivan Chajda, Antonio Ledda

Soft Comput., 2016

Representing quantum structures as near semirings.

Stefano Bonzio, Ivan Chajda, Antonio Ledda

Log. J. IGPL, 2016