Трехзначная логика

Троичная логика имеет три значения истинности: истинное, ложное и неизвестное.
Логика Клини и Лукашевича являются примерами трехзначных логик с разными определениями импликации.
Логика Клини не имеет тавтологий, но имеет семантически корректные аргументы и правила вывода.
Логика Лукашевича отличается своим определением импликации и имеет тавтологии.
Логика RM3 является некартовой симметричной моноидальной замкнутой категорией.
Логика HT представляет собой трехзначную промежуточную логику с семантикой утверждения, которое может быть доказано, но не имеет интуиционистского доказательства правильности.
Троичная почтовая логика используется в языке структурных запросов базы данных SQL для обработки сравнений с содержимым нулевого поля.

Полный текст статьи:

Трехзначная логика — Википедия