четырехзначная логика quaternary logic Расширение двузначной логики, основанной на использовании двух возможных значений логических переменных ("истина" и "ложь"), до класса логики, определенной на четырех значениях логических переменных: "истина", "ложь", "неопределенность" и "абсурд". Используется в системах искусственного интеллекта.