15 citations · 18 across the 6 of their papers we have counts for
6 papers
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…
Equational definitions of logical filters
Michele Pra Baldi, Adam Přenosil
A finitary propositional logic can be given an algebraic reading in two different ways: by translating formulas into equations and logical rules into quasi-equations, or by transla…
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…
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…
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…
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…