Ciuciura, J. “Paraconsistency and Sette’s Calculus P1”. Logic and Logical Philosophy, vol. 24, no. 2, Feb. 2015, pp. 265–273, doi:10.12775/LLP.2015.003.