5 ms·
Could you point to a reference for the non-confluence of logic without excluded middle? It sounds interesting and a quick Google search did not find anything.
by s-phi-nl 10y ago
Could you point to a reference for the non-confluence of logic without excluded middle? It sounds interesting and a quick Google search did not find anything.
- cousin_it 10y agoWith excluded middle. This is the explanation that clicked for me: http://stackoverflow.com/questions/24711643/how-come-that-we-can-implement-call-cc-but-the-classical-logic-intuitionistic http://stackoverflow.com/questions/24711643/how-come-that-we...
- s-phi-nl 10y agoThanks! Yes, with excluded middle is what I meant.