12 citations · 37 across the 14 of their papers we have counts for
17 papers
Balanced residuated partially ordered semigroups
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated semigroup is a structure where is a poset and is a semigroup such that the…
On the structure and theory of McCarthy algebras
Stefano Bonzio, Gavin St. John
We provide a structural analysis for McCarthy algebras, the variety generated by the three-element algebra defining the logic of McCarthy (the non-commutative version of Kleene thr…
Bochvar algebras: A categorical equivalence and the generated variety
Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
The proper quasivariety BCA of Bochvar algebras, which serves as the equivalent algebraic semantics of Bochvar's external logic, was introduced by Finn and Grigolia in and extensiv…
On the structure of balanced residuated partially ordered monoids
Stefano Bonzio, José Gil-Férez, Peter Jipsen +2
A residuated poset is a structure where is a poset and is a monoid such that the re…
Modal weak Kleene logics: axiomatizations and relational semantics
Stefano Bonzio, Nicolò Zamperlin
Weak Kleene logics are three-valued logics characterized by the presence of an infectious truth-value. In their external versions, as they were originally introduced by Bochvar and…
On the structure of Bochvar algebras
Stefano Bonzio, Michele Pra Baldi
Bochvar algebras consist of the quasivariety BCA playing the role of equivalent algebraic semantics for Bochvar (external) logic, a logical formalism introduced by Bochvar in the r…
Embeddings of metric Boolean algebras in
Stefano Bonzio, Andrea Loi
A Boolean algebra $\A$ equipped with a (finitely-additive) positive probability measure can be turned into a metric space $(\A , d_{m})$, where $d_{m}(a,b)= m ((a\wedge\neg b)\…
Counting finite linearly ordered involutive bisemilattices
Stefano Bonzio, Michele Pra Baldi, Diego Valota
The class of involutive bisemilattices plays the role of the algebraic counterpart of paraconsistent weak Kleene logic. Involutive bisemilattices can be represented as Plonka sums…
Representing quantum structures as near semirings
Stefano Bonzio, Ivan Chajda, Antonio Ledda
In this paper we introduce the notion of near semiring with involution. Generalizing the theory of semirings we aim at represent quantum structures, such as basic algebras and orth…
Orthogonal relational systems
Stefano Bonzio, Ivan Chajda, Antonio Ledda
In this paper we discuss the concept of relational system with involution. This system is called orthogonal if, for every pair of non-zero orthogonal elements, there exists a supre…
Residuated Relational Systems
Stefano Bonzio, Ivan Chajda
The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational syste…
Containment logics: algebraic completeness and axiomatization
Stefano Bonzio, Michele Pra Baldi
The paper studies the containment companion of a logic . This consists of the consequence relation which satisfies all the inferences of , where the va…
Dualities for Plonka sums
Stefano Bonzio
Plonka sums consist of an algebraic construction similar, in some sense to direct limits, which allows to represent classes of algebras defined by means of regular identities (name…
On the nxnxn Rubik's Cube
Stefano Bonzio, Andrea Loi, Luisa Peruzzi
We describe in details the nxnxn Rubik's Cube, namely a Rubik's Cube with n rotating slices in each face. Then we state and prove the "first law of Cubology", i.e. the solvability…
The first law of cubology for the Rubik's Revenge
Stefano Bonzio, Andrea Loi, Luisa Peruzzi
We state and prove the first law of cubology of the Rubik's Revenge and provide necessary and sufficient conditions for a randomly assembled Rubik's Revenge to be solvable.
A duality for involutive bisemilattices
Stefano Bonzio, Andrea Loi, Luisa Peruzzi
We establish a natural duality between the category of involutive bisemilattices and the category of semilattice inverse systems of Stone spaces, using Stone duality from one side…
Open Quantum Systems and Quantum Algorithms
Stefano Bonzio, Paola Verrucchi
The model of open quantum systems is adopted to describe the non-local dynamical behaviour of qubits processed by entangling gates. The analysis gets to the conclusion that a disti…