[s-phi-nl]

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]

With excluded middle. This is the explanation that clicked for me: http://stackoverflow.com/questions/24711643/how-come-that-we...

[s-phi-nl]

Thanks! Yes, with excluded middle is what I meant.