Stefano Bonzio (Brescia 1987), PhD in Logica. Attualmente assegnista di ricerca presso l’Università di Cagliari, ha precedentemente conseguito il Dottorato di Ricerca presso l’Università di Cagliari e la laurea magistrale in Logica presso l’Università di Firenze. I suoi interessi di ricerca riguardano prevalentemente le algebre della logica, la logica algebrica e l’algebra universale.
Pubblicazioni
  • SB, J. Gil-Férez, F. Paoli e L. Peruzzi, On Paraconsistent Weak Kleene Logic: Axiomatization and Algebraic Analysis, Studia Logica, to appear.
  • SB, I. Chajda e A. Ledda. Representing Quantum structures as near semirings, Logic Journal of the IGPL. doi: 10.1093/jigpal/jzw031
  • SB, I. Chajda e A. Ledda, Orthogonal relational systems, Soft Computing, 20(11), 2016.
  • SB e P. Verrucchi. The rhythm of Quantum algoritms, Soft Computing. DOI: 10.1007/s00500-015-1915-y
  • SB, A. Loi e L. Peruzzi. The first law of cubology for the Rubik’s Revenge, Mathematica Slovaca. To appear.