Ciuciura, J. “On the System CB1 and a Lattice of the Paraconsistent Calculi”. Logic and Logical Philosophy, vol. 29, no. 2, Dec. 2019, pp. 223-37, doi:10.12775/LLP.2019.035.