|
Оглавление
 A.M. Анисов Недетерминированная вычислимость: философские основания..................................................... 5 Б.В. Бирюков К проблеме приоритета в открытии логической теории релейно-контактных схем. Документ из архива Виктора Ивановича Шестакова....................................... 31 В.Л. Васюков Внутренняя логика универсальной логики................58 И.А. Горбунов Независимая базируемость дедуктивных пропозициональных систем.................................. 78 Л.Ю. Девяткин гг-значные матрицы для классической логики высказываний............................................... 94 Д.В. Зайцев Интуитивная семантика для релеватного следования............ 106 Е.Ю. Комендантская Функциональная взаимовыразимость регулярных логик Клини.......................................................116 Е.Е. Ледников Семантика первопорядковой динамической логики знания...............................................129 B. И. Маркин
Позитивная силлогистика С3+ с константой Счерпываемости.............................................137
Н.Н. Непейвода
Реверсивные конструктивные логики.....................150
C. А. Павлов
Оператор истины для классической сентенциональной логики и ее расширения на область теправильно построенных формул..........................169
В.М. Попов
Некоторые интервалы между простыми паралогиками.. 182 Н.И. Стешенко
Аналитические таблицы для пропозициональной логики Роговского...........................................185
Н.Е. томова
О четырехзначных регулярных логиках..................223
В.Х. Хаханян
Об одном свойстве универсумов в моделях реализуемости для интуиционистской теории множеств................... 229
М. И. Шейнфинкель
О кирпичах математической логики......................232
В.И. Шалак
М. И. Шейнфинкель и комбинаторная логика............247
В.И. Шалак
Логический анализ дефинициальной дедукции...........266
Yu.I. Manin
Truth as value and duty: lessons of mathematics...........284
A. Mutanen
Formal Methodology...................................... 296
|