БИБЛИОГРАФИЯ СБОРНИКОВ
“ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ”
Логические исследования. Вып. 1. М.: Наука, 1993.
Логические исследования. Вып. 2. М.: Наука, 1993.
Логические исследования. Вып. 3. М.: Наука, 1995.
Логические исследования. Вып. 4. М.: Наука, 1997.
Логические исследования. Вып. 5. М.: Наука, 1998.
Логические исследования. Вып. 6. М.: Наука, 1999.
Логические исследования. Вып. 7. М: Наука, 2000.
Логические исследования. Вып. 8. М.: Наука, 2001.
Логические исследования. Вып. 9. М.: Наука, 2002.
Логические исследования. Вып. 10. М.: Наука, 2003.
Авторский указатель 1-10 выпусков
сборникаРезультаты
В.А. Смирнова в области современной формальной логики (общ. ред. А.С. Карпенко) IV 40Библиография
научных трудов В.А. Смирнова IV 70Библиография
сборников “Логические исследования” (сост. Т.А. Шиян) X 278Bibliography of “Logical Investigations” (
сост. Т.А. Шиян) X 293
Алешина Н.А.
Определимость качественной независимости событий через расширенные индикаторные функции (совм. с Суппес П.) II 105
Вероятностная логика в искусственном интеллекте II 113
Анисов А.М.
Может ли пространство быть непрерывным, а время – дискретным? I 210
Моделирование становления на ЭВМ II 170
Абстрактная вычислимость и язык программирования АВТ III 233
Основные положения концепции научной философии В.А. Смирнова IV 94
Семантика неопределенности IV 271
Направленность и обратимость времени VI 195
Аксиоматическое исчисление неопределенности VII 164
Свойства времени VIII 5
Логика неопределённости и неопределённости во времени IX 5
Определённости в классической логике X 7
Аншаков О.М.
Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений (совм. с Скворцов Д.П., Финн В.К.) I 2
22J-логики и соответствуюшие им классы алгебр V 25
Бажанов В.А.
И.Е.Орлов – логик, философ, ученый. Особенности научного поиска IX 32
Батенс Д.
Dynamic semantics applied to inconsistency-adaptive logics V 74
A Universally Abnormality-Adaptive Logic VIII 256
Бахтияров К.И.
Интерактивная игра “Кэрролл” и калькулятор “Аристотель” VI
268Бежанишвили М.Н.
Теорема полноты для одной бимодальной системы знания и веры VI 47
Интерполяционная теорема для исчислений частичных предикатов Хао Вана VII 148
Исчисления частичных предикатов Хао Вана и их расширения, допускающие итерацию импликации VIII 26
Частичные эпистемические логики и “случайные“ тождества IX 55
Об одном частично интерпретируемом табличном исчислении V 230
Безью Ж.-И.
What is Propositional Classical Logic? (A Study in Universal Logic) VIII 266
S5 is a Paraconsistent Logic and so is First-Order Classical Logic IX 301
New Light on the Square of Oppositions and its Nameless Corner X 218
Бирюков Б.В.
Из истории математической логики в России: “Задача Кэрролла” в трактовке о. Павла Флоренского
VI 163Блинов А.Л.
Семантические игры со случайными ходами III 257
Games With Common Belief On Payoff Function VIII 278
Nested Supervaluations for Future Indefinite Contingent Vagueness IX 310
Rationalities in conflict: compensatory logico-cognitive irrationality in interactive contexts X 233
Болотов А.Е.
Алгоритм поиска вывода для натурального классического исчисления высказываний (совм. с Бочаров В.А., Горчаков А.Е.) III 181
Алгоритм поиска вывода в классическом исчислении предикатов (совм. с Бочаров В.А., Горчаков А.Е.) V 171
Бочаров В.А.
Алгоритм поиска вывода для натурального классического исчисления высказываний (совм. с Болотов А.Е., Горчаков А.Е.) III 181
“Дело есть дело!
” IV 7Алгоритм поиска вывода в классическом исчислении предикатов (совм. с Болотов А.Е., Горчаков А.Е.) V 171
Кантовская модель Бога (совм. с Юраскина Т.И.) VII 308
Бушковский В.
Синтаксическое исчисление Ламбека и его семантика I 77
Быстров П.Н.
Нестандартный метод табличных конструкций для модальных и релевантных логик I 156
Релевантные системы с глобальными правилами вывода II 139
Секвенциальное исчисление формул с временными параметрами III 81
Нестандартные правила вывода и их роль в логических системах IV 245
Разрешимые исчисления, основанные на абсолютной релевантной системе В.А.Смирнова V 129
Взаимное преобразование секвенциальных и натуральных выводов в модальной логике VI 61
Аналитические таблицы для позитивных логик, свободных от “парадоксов“ материальной импликации VII 181
Субструктурный вариант импликативно-негативного фрагмента модальной системы S5 X 17
Вайнгартнер П.
Логика квантовой механики, базирующаяся на классической III 123
Different kinds of relevance V 86
On the Cognition of Laws of Nature X 257
Васюков В.Л.
MN-категории для релевантных логик I 114
RN-категории для модальных логик I 124
Категорная семантика для паранепротиворечивых логик II 285
Развивая Тарского: котопос теорий III 276
В защиту Метакосмоса III 352
Об интерпретации секвенции в ситусах IV 196
Комбинированная логика В.А.Смирнова с ситуационной точки зрения (не-фрегевский подход) V 221
Ситуации и смысл VI 138
Импликативные логики, дедуктивные импликативные системы и экспоненциальные мультикатегории VII 90
Combined Causal Logics of Minkowski Spacetime VIII 302
Ситуации и смысл: не-не-фрегевская (метафорическая) логика IX
64Последствия логического плюрализма: глобальный и локальный аспекты X 23
Effects in Quantum Logic of Observables X 241
Витер Д.А.
Базисная логика и примитивно рекурсивная реализуемость IX 90
Войшвилло Е.К.
Релевантная логика как этап развития логики, ее философское и методологическое значение I 143
Теория логической релевантности IV 222
Онтологическая необходимость и аподиктическая силлогистика VI 227
Волгин Л.И.
АМ-алгебра и алгебра совести Лефевра-Шрейдера X 35
Вуйцицкий Р.
Два метода построения логических исчислений: логика заключений и логика формул
I 101Герасимова И.А.
Распределенные системы с точки зрения эпистемической логики I 171
Дилемма экстенсиональности-интенсиональности и контексты с пропозициональными установками II 53
Семантический анализ музыкальной нотации III 314
Комбинированная семантика для логики абсолютных норм с неклассическим отрицанием IV 163
Кант и Лейбниц: два подхода к деонтическим модальностям VI 30
Гжегорчик А.
Психологическая семантика и уклонение от антиномий VI 126
Голубцов
П.В.Информационная структура динамических игр и объем доступной игрокам информации (совм. с Любецкий В.А.) X 39
Горбунов К.Ю.
Об алгоритме выявления регуляторного сигнала в наборе последовательностей (совм. с Любецкий В.А.) VII 159
Горчаков А.Е.
Алгоритм поиска вывода для натурального классического исчисления высказываний (совм. с Болотов А.Е., Бочаров В.А.) III 181
Алгоритм поиска вывода в классическом исчислении предикатов (совм. с Болотов А.Е., Бочаров В.А.) V 171
Гриненко Г.В.
О логико-семантических особенностях сакральных текстов VI 287
Данн Дж.М.
Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs) VIII 282
Дзебяк В.
Конгруэнц-дистрибутивные многообразия алгебр (совм. с Челаковский Я.) I 55
Долгова Т.П.
Проблемы релевантной логики в работе В.А.Смирнова “Формальный вывод и логические исчисления” (совм. с Попов В.М.) IV 79
Зайцев Д.В.
Теория релевантного следования I: Аксиоматика V 119
Теория релевантного следования II: Семантика VI 109
Теория релевантного следования III: комбинаторная семантика TE VIII 38
Закревский А.Д.
Экспертная система логического распознавания как средство обучения методам логического вывода III 178
Ивлев В.Ю.
Проблема построения теории фактических модальностей (совм. с Ивлев Ю.В.) VII 269
Ивлев Ю.В.
Квазифункциональные семантики и семантики ограниченных множеств описаний состояний I 186
Теория логических модальностей VI 21
Проблема построения теории фактических модальностей (совм. с Ивлев В.Ю.) VII 269
Квазиматричная логика – основа теории фактических (физических) модальностей VIII 50
Основные области приложения квазиматричной логики IX 103
Основы логической теории аргументации X 50
Ишимото А.
Интерпретация онтологии Лесневского: пропозициональный фрагмент онтологии Лесневского и родственные системы (совм. с Сагал П.Т.) II 6
Логическая грамматика: логико-онтологический обзор II 44
Канаи Н.
Доказательство погружения аристотелевской силлогистики в пропозициональную логику II 279
Караваев Э.Ф.
О временной логике в одной малоизвестной работе Маркова
VI 186О временной квалификации нормативных высказываний VII 277
Карпенко А.С.
Матричная логика без неподвижных точек I 181
Ян Лукасевич – детерминизм и логика II 206
Импликативные логики: решетки и конструкции II 224
Штрих Шеффера для простых чисел III 292
Учитель IV 20
Классификация пропозициональных логик 107
Некоторые логические идеи В.А. Смирнова V 7
Импликации следования, строгая, релевантная, интуиционистская и классическая и их взаимоотношения VI 76
Логика на рубеже тысячелетий
VII 7Подструктурные логики: гильбертовский подход
VIII 65Современные исследования в философской логике X 61
Карпенко И.А.
Погружение исчисления RM в его позитивный фрагмент (совм. с Попов В.М.) X 94
Погружение классической пропозициональной логики в некоторые паралогики X 100
Катречко С.Л.
Интеллектуальный бектрекинг III 187
Комендантский В.Е.
Теорема представления Пристли и метод резолюций в многозначных логиках X 109
Костюк Т.П.
Позитивные силлогистики васильевского типа VI 59
Логика N измерений Н.А. Васильева: современная реконструкция VII 261
Крон А.
The law of assertion and the rule of restricted permutation V 139
Ледников Е.Е.
О понятии и суждениях существования VII 301
Существование и индивидные дескрипции IX
113Доказательство “эпистемического аналога” для теоремы *14.3. из “Principia Mathematica” X 117
Лукасевич Я.
О детерминизме II 190
Любецкий В.А.
Теоремы переноса и алгебра модальных операторов III 205
О некоторых задачах эффективизации и целенаправленного поведения (совм. с Любецкая С.Н.) IV 180
Об алгоритме выявления регуляторного сигнала в наборе последовательностей (совм. с Горбунов К.Ю.) VII 159
Информационная структура динамических игр и объем доступной игрокам информации (совм. с Голубцов П.В.) X 39
Любецкая С.Н.
О некоторых задачах эффективизации и целенаправленного поведения (совм. с Любецкий В.А.) IV 180
Максимова Л.Л.
Явная и неявная определимость в модальных, суперинтуиционистских и релевантных логиках V 53
Неявная определимость в паранепротиворечивых расширениях минимальной логики VIII 72
Маркин В.И.
Силлогистические теории и исчисление предикатов I 58
Сингулярная негативная силлогистика Аристотеля и свободная логика IV 13
7Формальная реконструкция традиционной сингулярной негативной силлогистики V 241
Обобщенная позитивная силлогистика
VI 241Погружение воображаемой логики Н.А.Васильева в кванторную трехзначную логику VII 252
Интенсиональная семантика традиционной силлогистики VIII 82
Фундаментальная силлогистика с интенсиональной точки зрения IX 119
Матерна П.
Понятие понятия II 82
Микиртумов И.Б.
Интенсиональная характеристика функции в логике смысла и денотата VI 153
Семантика анафоры как оператора доопределения VII 192
Структура значения и компетентность субъекта в логике смысла и денотата IX 131
Минц Г.
Classical multiplicative linear logic
(совм. с Соловьев С.) VII 132Михайлов Ф.Т.
Почти полвека длился спор … IV 25
Мчедлишвили Л.И.
К семантике аподиктической силлогистики Аристотеля VI 230
Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики VII 92
К семантике аподиктической силлогистики Аристотеля VII 240
Арифметическая семантика для нетрадиционных систем силлогистики IX 147
Нагорный Н.М.
Реализуемостная семантика раннего периода марковского конструктивизма (история и проблемы) VII 61
К вопросу о непротиворечивости классической формальной арифметики VIII 105
От Кантора к Маркову: восхождение к конструктивности (к 100-летию со дня рождения А. А. Маркова) X 128
Непейвода Н.Н.
Первые шаги к теории неформализуемых понятий I 34
Об одной модификации семантических таблиц IV 173
Неполные структуры выводов и их использование V 61
О прикладных теориях с суперинтуиционистскими логиками VII 72
О формализации неформализуемого VIII 129
Квазиискусственные объекты IX 159
Логики и стили программирования X 134
Нечитайлов Ю.В.
Параллельная композиция в динамической логике игр с ограниченной рациональностью X 142
Ниинилуото И.
Theoretical Reference and Truthlikeness IV 257
Новодворский А.Е.
Язык описания логических систем (совм. с Смирнов А.В.) III 139
Открытая система поддержки поиска вывода для различных логических исчислений (совм. с Смирнов А.В.) IV 154
Новоселов М.М.
Принадлежит ли Локку “Правило Локка
”? VI 218Sur les indiscernabilites comme structures аlgebriques
VII 285Одинцов С.П.
О негативно эквивалентных расширениях минимальной логики VII 119
Орловска Е.
Логические аспекты изучения понятий I 20
Павлов С.А.
Погружение элементарной онтологии Лесневского в семантически замкнутую теорию обозначения II З2
Классификация трех- и четырехзначных логик в рамках логики ложности FL4 I
II 98Экстенсиональные и интенсиональные аспекты аксиоматической теории обозначения IV 261
Логика ложности как обобщение трехзначной логики Лукасевича V 206
Метапредикат истинности и логика ложности VI 170
Условия применимости классической логики в рамках языков неклассических логик VII 174
Комбинированные логики В.А. Смирнова и логика ложности VIII 144
От сентенциальной логики к логике символьных выражений
IX 167Новый подход к построению и обобщению классической логики X 150
Павляк З.
Приближенные множества – основные понятия I 6
Попов В.М.
Паранепротиворечивые секвенциальные исчисления I 97
Два замечании и один вопрос относительно аксиоматизации импликативных логик II 153
Проблемы релевантной логики в работе В.А.Смирнова “Формальный вывод и логические исчисления” (совм. с Долгова Т.П.)
IV 79Диадические семантики для систем C1 и C3 формальной силлогистики (совм. с Хорохорин И.И.) IV 134
Диадические семантики для систем формальной силлогистики (совм. с Хорохорин И.И.) V 252
Формализация нестандартных отношений выводимости в паранепротиворечивой логике VI 116
Погружение импликативного фрагмента классической логики в импликативный фрагмент интуиционистской VII 80
Секвенциальная аксиоматизация квазиминимальной логики VII 128
Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент VIII 150
Об одной трехзначной параполной логике IX 175
Погружение исчисления RM в его позитивный фрагмент (совм. с Карпенко И.А.) X 94
Рантала В.
On the logic of connectionist representation V 195
Рыбаков М.Н.
Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой IX 179
Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей VIII 155
Константные формулы в модальных логиках: проблема разрешения (совм. с Чагров А.В.) IX 202
Сложность проблемы разрешения базисной и формальной логик X 158
Сагал П.Т.
Интерпретация онтологии Лесневского: пропозициональный фрагмент онтологии Лесневского и родственные системы (совм. с Ишимото А.) II 6
Самохвалов К.Ф.
Предикаты существования и “онтологический аргумент” VI 276
Logic and the relativity principle VII 232
К вопросу о природе времени VIII 168
Санду Г.
Partially interpreted connectives
(совм. с Hiipakka J.) VI 302Сегерберг К.
On the reversibility of doxastic actions V 135
Сидоренко Е.А.
Слабые следствия и парадоксы следования I 133
Теорема дедукции для классических и неклассических исчислений II 128
Семантика возможных миров: от Лейбницевской к Юмовской III 24
Реляционная семантика релевантных исчислений III 53
Идеи немонотонной и паранепротиворечивой логики у П.Флоренского IV 290
Нормализованные выводы и обобщение теоремы дедукции V 101
Бинарная реляционная семантика релевантной логики VI 81
Универсальная теорема дедукции VII 199
Теорема дедукции для неклассических исчислений: два подхода V
III 172Реляционная семантика и модели знания IX 221
Скворцов Д.П.
Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений (совм. с Аншаков О.М., Финн В.К.) I 222
Сравнение дедуктивной силы реализуемых пропозициональных формул III 38
Теорема о полноте для семантики пропозиционального фрагмента одной системы Аккермана VIII 187
Слинин Я.А.
Феноменологическое истолкование логики VI 15
Смирнов А.В.
Система интерактивного доказательства теорем II 90
Язык описания логических систем (совм. с Новодворский А.Е.) III 139
Открытая система поддержки поиска вывода для различных логических исчислений (совм. с Новодворский А.Е.) IV 154
Смирнов В.А.
Дважды алгебры и симметрические логики I 46
Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа II 17
Многомерные логики II 259
Поиск доказательств в натуральном интуиционистском исчислении предикатов с e -символом и предикатом существования III 163
Free Logics and Quite Free Logics IV 102
Смирнова Е.Д
.Кант и гильбертовская теория доказательств (роль идеальных образцов у Д. Гильберта и И. Канта) III
5И. Кант и финитная установка Д. Гильберта IV 304
Природа логического знания и вопросы обоснования логических систем
VI 7The problem of formalization of some nonstandard semantics VI 299
Логика в философии и философия логики VII 217
О загадке контекстов мнения VIII 199
К вопросу уточнения понятия аналитичности IX 237
Логико-семантические аспекты анализа понятия истинности X 167
Соловьев С.
Classical multiplicative linear logic
(совм. с Минц Г.) VII 132Стеблецова В.Н.
Логика ветвящегося времени как инструмент спецификации и верификации параллельных программ II 159
Суппес П.
Определимость качественной независимости событий через расширенные индикаторные функции (совм. с Алешина Н.А.) II 105
Фам Динь Нгьем.
Роль модельных структур в определении логического следования III 72
Федоров Б.И.
Б. Больцано как предшественник конструктивизма VII 291
Б. Больцано как предшественник конструктивизма. II. VIII 210
Образец исторически-логической реконструкции X 175
Финн В.К.
Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений (совм. с Аншаков О.М., Скворцов Д.П.) I 222Хаханян В.Х.
О допустимости правила Маркова в интуиционистской теории множеств III 174
Функциональные алгебраические модели для неклассической теории множеств IV 192
Независимость принципа двойного дополнения множеств схемы собирания теории множеств с интуиционистской логикой V 160
Предикаты реализуемости для теории множеств VIII 217
Система NFI, равнонепротиворечивая с системой Куайна NF IX 245
Функциональная алгебраическая модель, соответствующая штрих-реализуемости Клини X 198
Хиипакка Й.
Partially interpreted connectives
(совм. с Sandu G.) VI 302Хорохорин И.И.
Диадические семантики для систем C1 и C3 формальной силлогистики (совм. с Попов В.М.) IV 134
Диадические семантики для систем формальной силлогистики (совм. с Попов В.М.) V 252
Чагров А.В.
Строго импликативные формулы в модальных логиках, близких к интуиционистской VI 69
Два замечания о строго импликативных формулах в модальной логике S3 VII 84
Об эффективных теоремах о дедукции в нормальных модальных логиках VII 209
К вопросу об обратной математике модальной логики VIII 224
Константные формулы в модальных логиках: проблема разрешения (совм. с Рыбаков М.Н.) IX 202
Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики IX 251
Бесконечные множества несводимых модальностей в нормальных модальных логиках (совм. с Чагрова А.А.) V 150
Формальная пропозициональная логика А.Виссера и ее расширения X 204
Чагрова А.А.
Бесконечные множества несводимых модальностей в нормальных модальных логиках (совм. с Чагров А.В.) V 150
Челаковский Я.
Конгруэнц-дистрибутивные многообразия алгебр (совм. с Дзебяк В.) I 55
Шалак В.И.
Методы автоматического образования логических баз в системах искусственного интеллекта I 67
Динамическая интерпретация высказываний II
68Теория пропозициональных программ II V 163
Многозначная слабая релевантная логика RS (relevant scaled) X 212
Шрамко Я.В.
Обобщенные истинностные значения: решетки и мультирешетки IX 264
Эсакиа Л.Л.
Доказуемостные интерпретации интуиционистской логики V 19
Синопсис теории фронтонов VII 137
Слабая транзитивность - реституция VIII 244
Модальная версия II теоремы Гёделя о неполноте и система Маккинси IX 292
Юраскина Т.И.
Кантовская модель Бога (совм. с Бочаров В.А.) VII 308
Batens D.
См. Батенс Д.
Béziau J.-Y.
См. Безью Ж.-И.
Blinov A.L.
См. Блинов А.Л.
Dunn J.M.
См. Данн Дж.М.
Hiipakka J.
См. Хиипакка Й.
Kron A.
См. Крон А.
Mints G.
См. Минц Г.
Novosyolov M.M.
См. Новоселов М.М.
Niiniluoto I.
См. Ниинилуото И.
Rantala V.
См. Рантала В.
Samokhvalov K.F.
См. Самохвалов К.Ф.
Sandu G.
См. Санду Г.
Segerberg K.
См. Сегерберг К.
Smirnov V.A.
См. Смирнов В.А.
Smirnova E.D.
См. Смирнова Е.Д.
Soloviev S.
См. Соловьев С.
Vasyukov V.L.
См. Васюков В.Л.
Weingartner P.
См. Вайнгартнер П.