15 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
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…