Dual-intuitionistic logic

Redirect to:

• Paraconsistent logic