Intuitionistic logic is related by duality to a paraconsistent logic known as Brazilian, anti-intuitionistic or dual-intuitionistic logic.
Інтуїтивна логіка пов'язана дуальністю з паранепротирічною логікою, відомою як бразильська, антиінтуїціоністська або подвійна інтуїтивна логіка.