Все текущие реализации СУБД поддерживают трехзначную логику, которая имеет:
- Правда
- Ложная
- Неизвестно, это интерпретируется как NULL
Трехзначная логика также является частью RM / v1 (реляционная модель v1).
Четырехзначная логика, связанная с логикой релевантности Белнапа, также упоминается в RM / v2. Имеет:
- Правда
- Ложная
- Неизвестно
- Противоречивые
Я искал любую СУБД или любую другую реализацию, поддерживающую четырехзначную логику.