The approach taken here belongs to the preservationist school. The fundamental
idea is that, given an inconsistent collection of premises, one should not try to
reason about the collection of premises as a whole, but rather focus on internally
consistent subsets of premises.