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

##plugins.themes.bootstrap3.article.main##

N.E. Tomova

Abstract

A set of four-valued regular logics is introduced in the article. It is shown that the set of four-valued regular logics does not coincide with the set of four-valued monotonic logics (if the set $\{1,0,\frac{2}{3},\frac{1}{3}\}$ is ordered by that way: $\frac{1}{3}\leq 0$, $\frac{1}{3}\leq 1$, $1 \leq \frac{2}{3}$, $0 \leq \frac{2}{3}$ and 1 and 0 noncomparable).

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Комендантская Е. Ю. Функциональная взаимовыразимость регулярных логик Клини // Логические исследования. Вып. 15. М., 2008.
Клини С.К. Введение в метаматематику. М.: ИЛ, 1957.
Fitting М. Kleene’s Three Valued Logics and Their Children // Fundamenta Informaticae. 1992. Vol. 20. P. 113-131.