Том 4 (1997) | Логические исследования

«Дело есть дело!»

В.А. Бочаров

7-19

PDF

Учитель.

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

20-24

PDF

Почти полвека длился спор…

Ф.Т. Михайлов

25-39

PDF

Результаты В. А. Смирнова в области современной формальной логики.

В.А. Смирнов

40-69

PDF

Библиография научных трудов В. А. Смирнова.

В.А. Смирнов

70-78

PDF

Проблемы релевантной логики в работе в. А. Смирнова «формальный вывод и логические исчисления».

Т.П. Долгова, В.М. Попов

79-93

PDF

Основные положения концепции научной философии В. А. Смирнова.

A.M. Анисов

94-101

PDF

Free logics and quite free logics.

В.А. Смирнов

102-106

PDF (English)

Классификация пропозициональных логик.

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

107-133

PDF

Диадические семантики для С1 и СЗ формальной.

В.М. Попов, И.И. Хорохорин

134-136

PDF

Сингулярная негативная силлогистика Аристотеля и свободная логика.

В.И. Маркин

137-153

PDF

Открытая система поддержки поиска вывода для различных логических исчислений.

А.Е. Новодворский, А.В. Смирнов

154-162

PDF

Комбинированная семантика для логики абсолютных норм с неклассическим отрицанием.

И. А. Герасимова

163-172

PDF

Об одной модификации семантических таблиц.

Н.Н. Непейвода

173-179

PDF

О некоторых задачах эффективизации и целенаправленного поведения.

В.А. Любецкий, С.Н. Любецкая

180-191

PDF

Функциональные алгебраические модели для неклассической теории множеств.

В.Х. Хаханян

192-195

PDF

Об интерпретации секвенций в ситусах.

В.Л. Васюков

196-221

PDF

Теория логической релевантности.

Е.К. Войшвилло

222-244

PDF

Нестандартные правила вывода и их роль в логических системах.

П.И. Быстров

245-256

PDF

Theoretical reference and truthlikeness.

I. Niiniluoto

257-260

PDF (English)

Экстенсиональные и интенсиональные аспекты аксиоматической теории обозначения.

С. А. Павлов

261-270

PDF

Семантика неопределенности.

А.М. Анисов

271-289

PDF

Идеи немонотонной и паранепротиворечивой логики у П. Флоренского.

Е. А. Сидоренко

290-303

PDF

И.Кант и финитная установка Д. Гильберта.

Е.Д. Смирнова

304-309

PDF

Весь выпуск

Статьи

«Дело есть дело!»

Учитель.

Почти полвека длился спор…

Результаты В. А. Смирнова в области современной формальной логики.

Библиография научных трудов В. А. Смирнова.

Проблемы релевантной логики в работе в. А. Смирнова «формальный вывод и логические исчисления».

Основные положения концепции научной философии В. А. Смирнова.

Free logics and quite free logics.

Классификация пропозициональных логик.

Диадические семантики для С1 и СЗ формальной.

Сингулярная негативная силлогистика Аристотеля и свободная логика.

Открытая система поддержки поиска вывода для различных логических исчислений.

Комбинированная семантика для логики абсолютных норм с неклассическим отрицанием.

Об одной модификации семантических таблиц.

О некоторых задачах эффективизации и целенаправленного поведения.

Функциональные алгебраические модели для неклассической теории множеств.

Об интерпретации секвенций в ситусах.

Теория логической релевантности.

Нестандартные правила вывода и их роль в логических системах.

Theoretical reference and truthlikeness.

Экстенсиональные и интенсиональные аспекты аксиоматической теории обозначения.

Семантика неопределенности.

Идеи немонотонной и паранепротиворечивой логики у П. Флоренского.

И.Кант и финитная установка Д. Гильберта.