Becker failed in the end to correctly distinguish classical and intuitionistic negation , but he made a start .
Becker struggled , somewhat unsuccessfully , with the formulation of the rejection of excluded middle appropriate for intuitionistic logic .
Becker failed in the end to correctly distinguish classical and intuitionistic negation , but Becker made a start .
Becker struggled , somewhat unsuccessfully , with the formulation of the rejection of excluded middle appropriate for intuitionistic logic .