M. Sierra, “Basic Logic Paraconsistent Paracomplete with denial and Classic”, Rev. U. EAFIT, vol. 38, no. 126, pp. 81–97, Jun. 2012.