12 citations · 37 across the 14 of their papers we have counts for
14 papers · 1 filter
Modal weak Kleene logics: algebraic semantics and Jónsson-Tarski representation
Stefano Bonzio, Gandolfo Vergottini, Nicolò Zamperlin
In this paper we continue the work started in [Bonzio & Zamperlin 2025] by investigating the algebraic semantics for modal external weak Kleene logics. In order to do so we study t…
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…
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…