Логические исследования. Выпуск 14; Наука, 2007

A.M. Анисов
Классическая вычислимость и признаки
индетерминизма
Б.В. БИРЮКОВ, И.С. ВЕРСТИН, В.И. ЛЕВИН
Жизненный и научный путь Виктора Ивановича
Шестакова - создателя логической теории
релейно-
контактных схем
Б.В. БИРЮКОВ, В.И. ШАХОВ
Первые приложения логики к технике: Эренфест,
Герсеванов и Шестаков. От применения логики к
рас
чету сооружений и релейным схемам к логической
тео
рии размерностей физических величин
В.Л. ВАСЮКОВ
Проблема контекста интерпретации в
универсальной
логике
И.А. ГОРБУНОВ, М.Н. РЫБАКОВ
Континуальные семейства логик
А.В. КРАСНЕНКОВА
Поиск натурального вывода в системах негативной
силлогистики
А.А. КРУШИНСКИЙ
" Генетический тип дедукции - альтернатива
традиционно понимаемой дедукции как выводу из
аксиом
В.И. ЛЕВИН
Акира Накашима и логическое моделирование
дискретных схем
Б.Б. ЛЕДНИКОВ
Об одном варианте динамической логики знания
И.Б. МИКИРТУМОВ
Прагматические предикаты и эпистемическая
динамика в логике смысла (I)
Н.Н. НЕПЕЙВОДА
Интеллектуальные вирусы
С.А. ПАВЛОВ
Модифицированная семантика Фреге и
функциональная
интерпретация
В.М. Попов
Две последовательности простых паранспротиво-
речивых логик
В.М. Попов
Четыре простые иаралогики: семантики и
секвенциальные формулировки
Е.Д. СМИРНОВА
Теоретико-познавательные и
логико-семантические
основания парадоксов
В.Х. ХАХАНЯН
Интуиционистская арифметика с принципами
Маркова и Р
В.И. ШАЛАК
Логика термов
В.И. ШАЛАК
О понятии доказательства
Т.А. Шиян
Моделирование логических знаний и знаниевого
вывода средствами СУБД