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

Abstract

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