A logical structure which does not assume the Excluded Middle Law. Three possible truth values are possible: true, false, or undecided. There are 3072 such logics.
