It's been thrown away in some (growing) part of modern mathematics and has lead to the creation of automated provers as logic rejecting PEC and not PNC models l

It's been thrown away in some (growing) part of modern mathematics and has lead to the creation of automated provers as logic rejecting PEC and not PNC models lambda calculus. See my top level response in this thread for more detail.