While these ideas work in both classical and intuitionistic logic, they do not work in paraconsistent logic, where contradictions are not necessarily false.
Док ове идеје раде и у класичној и у интуитиционој логици, они не раде у Бразилској логици, где противречности нису нужно лажне.