1 citations · 1 across the 2 of their papers we have counts for
3 papers
math.LO2021
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…
math.LO2019★ 1 cited
Logics of variable inclusion and the lattice of consequence relations
Michele Pra Baldi
In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position int…
math.LO2018
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…