Jaśkowski, S. “A Propositional Calculus for Inconsistent Deductive Systems”. Logic and Logical Philosophy, vol. 7, no. 7, Jan. 2004, pp. 35-56, doi:10.12775/LLP.1999.003.