In intuitionistic logic, it is still the case that nothing can be both true and false.
Sorry, misread your comment and thought you referred to the law of excluded middle. The problem with reading while I should be sleeping.
In intuitionistic logic, it is still the case that nothing can be both true and false.
Sorry, misread your comment and thought you referred to the law of excluded middle. The problem with reading while I should be sleeping.