15 citations · 17 across the 3 of their papers we have counts for
3 papers
math.LO2020
Probability over Plonka sums of Boolean algebras: states, metrics and topology
S. Bonzio, A. Loi
The paper introduces the notion of state for involutive bisemilattices, a variety which plays the role of algebraic counterpart of paraconsistent weak Kleene logic and whose elemen…
math.LO2018★ 15 cited
Logic of left variable inclusion and Plonka sums of matrices
Stefano Bonzio, Tommaso Moraschini, Michele Pra Baldi
The paper aims at studying, in full generality, logics defined by imposing a variable inclusion condition on a given logic . It turns out that the algebraic counterpart of…
math.LO2016★ 2 cited
Undefinability of Standard sequent calculi for Paraconsistent three-valued logics
S. Bonzio, M. Pra Baldi
In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and…