Geodesic

Tome 98 (1987)

Sommaire

Некоторые свойства решетки параметрически замкнутых классов функций трехзначной логики
p. 3-9
Алгоритмы, алгебры и интуиционистская логика
p. 10-14
О суперинтуиционистских логиках как фрагментах расширений логики доказуемости
p. 15-39
Об интерполяции в нормальных модальных логиках
p. 40-56
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
p. 57-67
О тождествах и квазитождествах на структурах конгруэнций конечных полугрупп
p. 68-70
О полноте систем формул в двойственностно цепных логиках
p. 71-93
Основные задачи выразимости формул в неклассических логиках
p. 94-120
Сепарационное свойство для доказуемостно-интуиционистского исчисления
p. 121-133
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
p. 134-151