Paraconsistent Logic

To allow for contradictions in a logical system.

To develop a logic that is consistent with quantum mechanics.

To create a logic that is more expressive than classical logic.

To provide a foundation for artificial intelligence.