О четырехзначных регулярных логиках

Аннотация

В статье представлен набор четырехзначных регулярных логик. Показано, что множество четырехзначных регулярных логик не совпадает с множеством четырехзначных монотонных логик (если множество $\{1,0,\frac{2}{3},\frac{1}{3}\}$ упорядочено следующим образом: $\frac{1}{3}\leq 0$, $\frac{1}{3}\leq 1$, $1 \leq \frac{2}{3}$, $0 \leq \frac{2}{3}$, а 1 и 0 несравнимы).