Би-решетки для логики Белнапа и ее обогащения.
Article Sidebar
Опубликован:
30.11.2005
Main Article Content
Аннотация
Целью этой работы является применение отношений порядка истины и порядка знания для интерпретации трехзначных логик Клини и Лукасевича и бирешеток для интерпретации четырехзначных логик: логики Белнапа и логики ложности FL4.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Павлов С. Би-решетки для логики Белнапа и ее обогащения. // Логические исследования / Logical Investigations. 2005. Т. 12. C. 243-248.
Выпуск
Раздел
Статьи
Литература
Белнап Н. Как нужно рассуждать компьютеру // Белнап Н., Стил Т. Логика вопросов и ответов. М., 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.