minimal logic

A minimal logic is a logic whose theorems include neither the principle of excluded middle nor the law of noncontradiction.

Extensionally, it can be seen as the intersection of intuitionistic logic and paraconsistent logic.