Би-решетки для логики Белнапа и ее обогащения.
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2005
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Pavlov S. Би-решетки для логики Белнапа и ее обогащения. // Logicheskie Issledovaniya / Logical Investigations. 2005. VOL. 12. C. 243-248.
Issue
Section
Papers
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.
Карпенко А.С. Многозначные логики // Логика и компьютер. Вып. 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.