S. Jaśkowski, “A propositional calculus for inconsistent deductive systems”, LLP, vol. 7, no. 7, pp. 35–56, Jan. 2004.