Non-strictly positive fixed points for classical natural deduction

Finally, the relation to Parigot's strictly positive inductive definition of his set of reducibility candidates and to his notion of generalized reducibility candidates is explained.