3 ms·
You are probably thinking of intuitionistic logic versus classical logic. In the former, the law of excluded middle is not built in.
by sddfd 9y ago
You are probably thinking of intuitionistic logic versus classical logic. In the former, the law of excluded middle is not built in.
- quickthrower2 9y agoYes that's the one. Thanks
- mcguire 9y agoIf you have heard of the Curry-Howard equivalence, that programs and proofs are the same thing, the proofs in question are constructive, intuitionistic proofs.