Матричная логика без неподвижных точек.

##plugins.themes.bootstrap3.article.sidebar##

PDF
Опубликован: 22.04.1993
DOI: https://doi.org/10.21146/2074-1472-1993-1-0-181-185

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

А.С. Карпенко

Аннотация

В статье рассматривается вопрос о взаимоотношении многозначных логик Лукасевича и Геделя. Результатом, с одной стороны, является построение логической бесконечнозначной матрицы без неподвижных точек относительно инволюции, а с другой образование структур (типа MV-алгебры Чэна с псевдодополнением), обобщающих алгебраические свойства бесконечнозначной логики Лукасевича и интуиционистской логики.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Как цитировать
Карпенко А. Матричная логика без неподвижных точек. // Логические исследования / Logical Investigations. 1993. Т. 1. C. 181-185.
Выпуск
Том 1 (1993)
Раздел
Статьи