БЕСКОНЕЧНОЗНАЧИМАЯ ЛОГИКА – см. Многозначные логики.