University of Cagliari
Stefano Bonzio
On the structure and theory of McCarthy algebras
In press Bonzio, Stefano; St John, Gavin Christopher
Bochvar algebras: a categorical equivalence and the generated variety.
In press Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele
Certified Algorithms for Numerical Semigroups in Rocq
2025-01-01 Bartoletti, Massimo; Bonzio, Stefano; Ferrara, Marco
The poset of normalized ideals of numerical semigroups with multiplicity three
2025-01-01 Bonzio, S.; García-Sánchez, P. A.
On the Structure of Balanced Residuated Partially Ordered Monoids
2024-01-01 Bonzio, S.; Gil-Ferez, J.; Jipsen, P.; Prenosil, A.; Sugimoto, M.
Embeddings of metric Boolean algebras in RN
2024-01-01 Bonzio, S.; Loi, A.
On the structure of Bochvar algebras
2024-01-01 Bonzio, S.; Baldi, M. P.
Modal weak Kleene logics: axiomatizations and relational semantics
2024-01-01 Bonzio, Stefano; Zamperlin, Nicolò
Introduzione alla logica. Teorie e applicazioni filosofiche
2024-01-01 Fano, Vincenzo; Bonzio, Stefano; Corti, Alberto; Graziani, Pierluigi
Counterfactuals as modal conditionals, and their probability
2023-01-01 Rosella, G.; Flaminio, T.; Bonzio, S.
A Logical Modeling of Severe Ignorance
2023-01-01 Bonzio, S.; Fano, V.; Graziani, P.; Pra Baldi, M.
Logics of variable inclusion
2022-01-01 Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele
A Logic for a Critical Attitude?
2022-01-01 Boem, Federico; Bonzio, Stefano
Containment logics: Algebraic Counterparts and Reduced Models
2022-01-01 Bonzio, Stefano; PRA BALDI, Michele
Probability over Płonka sums of Boolean algebras: States, metrics and topology
2021-01-01 Bonzio, S.; Loi, A.
Containment Logics: Algebraic Completeness and Axiomatization
2021-01-01 Bonzio, S.; Pra Baldi, M.
Logics of left variable inclusion and Płonka sums of matrices
2021-01-01 Bonzio, S.; Moraschini, T.; Prabaldi, M.
How to Believe Long Conjunctions of Beliefs: Probability, Quasi-Dogmatism and Contextualism
2021-01-01 Bonzio, S.; Cevolani, G.; Flaminio, T.
Reliability: an introduction
2021-01-01 Bonzio, S.; Landes, J.; Osimani, B.
The Cochrane Case: An Epistemic Analysis on Decision-Making and Trust in Science in the Age of Information
2020-01-01 Boem, F.; Bonzio, S.; Osimani, B.; Sacco, A.
A Duality for Involutive Bisemilattices
2019-01-01 Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa
Sure-wins under coherence: A geometrical perspective
2019-01-01 Bonzio, S.; Flaminio, T.; Galeazzi, P.
The Płonka product of topological spaces
2019-01-01 Bonzio, S.; Loi, A.
Residuated relational systems
2018-01-01 Bonzio, S.; Chajda, I.
Counting finite linearly ordered involutive bisemilattices
2018-01-01 Bonzio, S.; Pra Baldi, M.; Valota, D.
Dualities for Płonka Sums
2018-01-01 Bonzio, S.
On the n×n×n Rubik'S cube
2018-01-01 Loi, A; Bonzio, S; Peruzzi, L
The first law of cubology for the Rubik's Revenge
2017-01-01 Bonzio, Stefano; Loi, Andrea; Peruzzi, Luisa
The rhythm of quantum algorithms
2017-01-01 Bonzio, S.; Verrucchi, P.
A Note on Orthomodular Lattices
2017-01-01 Bonzio, S.; Chajda, I.
On Paraconsistent Weak Kleene Logic: Axiomatisation and algebraic analysis
2017-01-01 Bonzio, Stefano; GIL FEREZ, Jose'; Paoli, Francesco; Peruzzi, Luisa
Algebraic structures from quantum and fuzzy logics
2016-03-18
Orthogonal relational systems
2016-01-01 Bonzio, S; Ledda, Antonio; Chajda, I.
Representing quantum structures as near semirings
2016-01-01 Bonzio, Stefano; Chajda, I.; Ledda, Antonio
Icon legend
- files available
- files available on intranet
- files available for authorized users
- files available for administrators
- files under embargo
- no files available