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

Классическая вычислимость и признаки индетерминизма

А.М. Анисов

5-26

PDF

Жизненный и научный путь Виктора Ивановича Шестакова — создателя логической теории релейно-контактных схем

Б.В. Бирюков, И.С. Верстин, В.И. Левин

27-72

PDF

Первые приложения логики к технике: Эренфест, Герсеванов и Шестаков. От применения логики к расчету сооружений и релейным схемам к логической теории размерностей физических величин

Б.В. Бирюков, В.И. Шахов

73-104

PDF

Проблема контекста интерпретации в универсальной логике

В.Л. Васюков

105-130

PDF

Континуальные семейства логик

И.А. Горбунов, М.Н. Рыбаков

131-151

PDF

Поиск натурального вывода в системах негативной силлогистики

А.В. Красненкова

152-175

PDF

Генетический тип дедукции — альтернатива традиционно понимаемой дедукции как выводу из аксиом

А.А. Крушинский

176-186

PDF

Акира Накашима и логическое моделирование дискретных схем

В.И. Левин

187-217

PDF

Об одном варианте динамической логики знания

Е.Е. Ледников

218-223

PDF

Прагматические предикаты и эпистемическая динамика в логике смысла (I)

И.Б. Микиртумов

224-239

PDF

Интеллектуальные вирусы

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

240-251

PDF

Модифицированная семантика Фреге и функциональная интерпретация

С.А. Павлов

252-256

PDF

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

В.М. Попов

257-261

PDF

Четыре простые паралогики: семантики и секвенциальные формулировки

В.М. Попов

262-270

PDF

Теоретико-познавательные и логико-семантические основания парадоксов

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

271-282

PDF

Интуиционистская арифметика с принципами Маркова и P

В.Х. Хаханян

283-285

PDF

Логика термов

В.И. Шалак

286-300

PDF

О понятии доказательства