Return to Article Details A propositional calculus for inconsistent deductive systems Download Download PDF