minimal logic

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