3 citations · 3 across the 3 of their papers we have counts for
8 papers · 1 filter
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…
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…