Би-решетки для логики Белнапа и ее обогащения.

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

S.A. Pavlov

Abstract

Distributive bilattice used to interpretation of Kleene's strong 3-valued logic, Lukasiewicz’s 3-valued logic, Belnap's four-valued logic, falsehood logic FL4.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Белнап Н. Как нужно рассуждать компьютеру // Белнап Н., Стил Т. Логика вопросов и ответов. М., 1981.
Карпенко А.С. Многозначные логики // Логика и компьютер. Вып. 4. М., 1997.
Клини С.К Введение в метаматематику. М., 1957.
Лукасевич Я. О детерминизме // Логические исследования. Вып. 2. М., 1993. С. 190-205.
Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
Попов В.М. Об одной четырехзначной паранормальной логике // Логика и В.Е.К. М., 2003. С. 192-195.
Fitting М.С. Kleene's logic, generalized // Journal of Logic and Computation. 1992. Vol. 1. P. 797-810,
Ginsberg M.L. Multivalued logics: a uniform approach to reasoning in artificial intelligence I I Computational Intelligence. 1988. Vol. 4. P. 265-316.
Muskens R.A. Meaning and partiality. Amsterdam, 1989.
Siupecki J., Bryll G., Prucnal T. Some Remarks on Three-valued Logic of J. Lukasiewicz // Studia Logica. 1967. Vol. XXI. P. 45-70.

##plugins.generic.recommendByAuthor.heading##