J. Ciuciura, “Paraconsistency and Sette’s calculus P1”, LLP, vol. 24, no. 2, pp. 265–273, Feb. 2015.