6 papers
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…