БИБЛИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ Трудов научно-исследовательского семинара Логического центра Института философии РАН (1982-2000)
I. Модальные и релевантные логики (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1982.
II. Логические исследования (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1983.
III. Многозначные, релевантные и паранепротиворечивые логики (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1984.
IV. Неклассические логики (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1985.
V. Нестандартные семантики неклассических логик (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1986.
VI. Неклассические логики и пропозициональные установки (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1987.
VII. Неклассические логики и их применение (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1989.
VIII. Философские основания неклассических логик (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1990.
IX. Логические методы в компьютерных науках (Труды научно-исследовательского семинара по логике Института философии АН СССР). М., 1991.
X. Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 1994.
XI. Труды научно-исследовательского семинара Логического центра Института философии РАН, 1996. М., 1997.
XII. Труды научно-исследовательского семинара Логического центра Института философии РАН, 1997. М., 1998.
XIII. Труды научно-исследовательского семинара Логического центра Института философии РАН, 1998. М., 1999.
XIV. Труды научно-исследовательского семинара Логического центра Института философии РАН, Вып. XIV. М., 2000.
Абрамян Л.А.
О сфере логического (в контексте критической философии) XIII 71-77
Абрамян Н.Л.
Проблемы логики демонстрантов (совм. с ГриненкоГ.В.) V 63-75
Пережитое вместе. В.А.Смирнов и Е.Д.Смирнова XIII 28-33
Анисов А.М.
О возможности построения моделей динамической концепции времени III 100-109
Семантика неконструктивных рассуждений VI 89-100
Контрафактические высказывания и теории VII 91-101
Тезис Джемса и логика XI 178-189
Представление интенсиональных отношений в теории множеств с атомами XII 27-34
Апории Зенона и проблема движения XIV 139-155
Асанидзе Г.З.
О критерии множественности независимых систем аксиом IV 75-85
О полноте систем TL, T(L и T((L логики истины фон Вригта VI 75-84
О соотношении двух подходов к построению логики истины Г. фон Вригта VII 102-112
Бард А.
Минимальная логика причинности IV 92-95
Бахтияров К.И.
Арифметизация ассерторической и модальной силлогистики V 108-115
Бельцер М.О.
О правиле отделения в системе 3-D VI 6-12
Бимбо К.
Очерк проблемы условных высказываний VIII 12-25
Блинов А.Л.
О семантике игровых деревьев для логики действий VII 16-26
Болотов Е.А.
Алгоритмы поиска вывода в классической пропозициональной логике (совм. с Бочаровым В.А. и Горчаковым Е.А.) XI 92-101
Бочаров В.А.
Анализ так называемого онтологического доказательства бытия Бога и его критики Кантом I 47-54
Булева алгебра в терминах силлогистики II 32-42
Исчисление предикатов с универсалиями (I. Формальное построение) VII 55-69
Исчисление предикатов с универсалиями (II. Семантика) IX 44-63
Исчисление предикатов с универсалиями (III. Философские основания) X 46-60
Алгоритмы поиска вывода в классической пропозициональной логике (совм. с Болотовым Е.А. и Горчаковым Е.А.) XI 92-101
Дефинициальная эквивалентность элементарной онтологии и силлогистики XII 117-130
Бургин М.С.
Абстрактная теория свойств IV 109-118
Функциональные расширения научных теорий (совм. с Кузнецовым В.И.) IV 119-127
Кванторы в теории свойств V 99-107
Задачи в структуре научных теорий (совм. с Кузнецовым В.И.) VI 101-109
Быстров П.И.
Аналог теоремы об устранении сечения для исчислений индексированных секвенций и табличных систем модальной логики II 71-80
Погружение релевантной системы E в табличное исчисление индексированных формул III 20-26
Об одном классе нестандартных модальных систем V 54-62
Обобщенные генценовские формулировки релевантных систем VI 38-47
О табличных построениях “нельюисовских” систем VI 125-128
Интенсиональная импликация, определенная в терминах знания и мнения VII 36-46
Нормализация выводов в релевантной системе с дистрибутивностью VIII 43-54
Исчисления с сильными “релевантным” отрицанием IX 36-43
Релевантные логические исчисления как системы выводов с индексированными формулами X 36-45
Метод аналитических таблиц для позитивной релевантной логики XIII 115-119
Методы нормализаци выводов в релевантной логике XIV 68-75
Васюков В.Л.
Квантовая логика времени II 93-102
Точность дискретной модели для бесконечнозначной логики Лукасевича III 55-64
Небулевы T-F-семантики для многозначных логик IV 27-39
Комплексно-значные логики, или как учитывать контекст в логических системах V 14-36
Темпоральное следование и логики Шираиши VI 60-74
Симметрический моноид Гейтинга: модель для бесконечнозначной логики Лукасевича (совм. с Карпенко А.С.) VI 118-124
Полнота Ł(0 относительно фактор-семантики VII 56-68
Категорная семантика для исчисления Айдукевича-Ламбека IX 181-197
Метафоры в прагматических матрицах XI 64-70
О феноменологической силлогистике XI 190-200
Не-фрегевская логика и Пост-Трактатная онтология XII 131-138
Направление времени в семантике многозначных возможных миров XIII 143-155
Три реинтерпретации формальной теории ценностей Т. Чежовского XIV 114-127
Верещагин Н.К.,
Алгоритм определения вторичной структуры РНК (совм. с Любецким В.А.) XIV 99-109
Войшвилло Е.К.
E или NR? III 5-13
О паранепротиворечивой логике P1 Сетте XIII 130
Вуйцицкий Р.
Аксиоматическая трактовка немонотонных рассуждений VII 1 40-144
Гелашвили М.А.
Проблема логического анализа понятия установки IV 17-19
Герасимова И.А.
Проблема логического всеведения и семантики типа Монтегю I 1-12
Обобщенные окрестностные и реляционные семантики III 70-77
“Возможные миры” и “ситуации” в анализе познавательных установок IV 6-16
Диахроническая эпистемическая логика с истинностно-значными провалами V 46-53
Комбинированная модель деонтической и эпистемической логики VII 27-35
Логический статус отрицания в деонтических ситуациях XI 126-139
Формальная грамматика для фрагмента русского с кванторными выражениями XII 150-162
Семантика речевых фраз с оборотом “необходимо” XIII 189-201
Гливенко В.
О логике Брауэра XII 15-18
О некоторых аспектах логики Брауэра XII 19-23
Горемыкина Г.И.
Интуиционистские варианты классических теорем XI 102-125
Горчаков Е.А.
Алгоритмы поиска вывода в классической пропозициональной логике (совм. с Болотовым Е.А. и Бочаровым В.А.) XI 92-101
Гриненко Г.В.
Проблемы логики демонстрантов
(совм. с Абрамян Н.Л.) V 3-76
Логико-семантический анализ гимнов Авесты XI 157-177
Елена Дмитриевна – юбиляр! XIII 13-27
Библиография трудов Е.Д. Смирновой XIII 78-83
Грифцова И.Н.
Проблема субъективности в логике XIII 34-40
Джапаридзе Г.К.
Доказуемостные принципы и расширения ариф метики V 90-98
Дишкант Г.П.
О логике физики X 94-101
Домб Г.И.
Трехзначная логика истинностно-функциональных провалов и предрелевантность V 88-89
Драгалина-Черная Е.Г.
Конструктивные семантические игры для ветвящихся кванторов XIII 105-109
Жембалдагбаев Н.Ц.
К проблеме элиминации теоретических терминов VIII 6-11
Буддийская логика и диагностика в тибетской медицине XII 163-169
Зайцев Д.В.
Модальности и импликация XII 85-91
Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н.А. Васильева (совм. с Маркиным В.И.) XIII 134-142
Комбинаторы и импликативные формулы XIV 42-53
Закревский А.Д.
Матричный аппарат логического вывода в конечных предикатах VIII 70-80
Иванов Ю.Г.
Анализ парадоксов, релевантность, паранепротиворечивость и классика IV 63-74
Ивлев Ю.В.
Интерпретация модальных исчислений II 59-70
Четырехзначная квазиматричная логика предикатов PSb+ V 77-87
К теории логических модальностей XI 140-148
Некоторые проблемы TRACTATUS LOGICO-PHILOSOPHICUS с точки зрения современной логики XIV 156-165
Ильин А.А.
Негативная фундаментальная силлогистика XIV 128-138
Ишимото А.
Онтология Лесневского с абстрактами VII 145-153
Ишмуратов А.Т.
Логики с частными интерпретациями I 19-26
Карпенко А.С.
Матричная логика для простых чисел и ее обобщение I 81-90
Последовательность предполных логик Лукасевича и графы для простых чисел II 103-111
Паранепротиворечивая структура внутри многозначной логики III 34-39
Функциональная предполнота и обобщенный квазиштрих Тюркетта III 65-69
Фактор-семантика для бесконечнозначной логики Лукасевича IV 20-26
Некоторые алгебры в качестве истинностных значений V 6-13
Новый взгляд на логику пропозициональных установок VI 13-17
Симметрический моноид Гейтинга: модель для бесконечнозначной логики Лукасевича (совм. с Васюковым В.Л..) VI 118-124
Максимальная паранепротиворечивая логика и дважды p-алгебры VII 69-73
Логический фатализм и тоталитаризм VIII 138-151
Штрих Шеффера для простых чисел X 102-109
Минимальные логические матрицы для нечеткой алгебры типа 2 (совм. с Шалаком В.И.) XI 56-63
Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича (совм. с Поповым В.М.) XI 71-75
Библиотечно-библиографическая классификация литературы по логике XI 201-205
Решение проблемы В.К. Финна о погружении степени простого числа в многозначные логики Лукасевича XII 35-40
Характеризация классов натуральных чисел посредством логических матриц XIII 217-225
Независимая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича Ł( XIV 54-58
Карпович В.Н.
Обобщение метода Рамсея для бесконечно аксиоматизируемых теорий II 112
Катречко С.Л.
Моделирование правила расщеплений в обратном методе С.Ю. Маслова IX 125-140
Колесников Н.Г.
Формализация силлогистики Льюиса Кэррола II 49-58
Кузнецов В.И.
Функциональные расширения научных теорий (совм. с Бургиным М.С.) IV 119-127
Задачи в структуре научных теорий (совм. с Бургиным М.С.) VI 101-109
Kurtonina N.
Directed Simulations (with de Rijke M.) XIII 170-188
Левенец Е.В.
Анализ понятия аналогии средствами модальной логики IX 5-20
Проблема пресуппозиции XIII 202-116
Ливчак А.Б.
Некоторые понятия реляционной теории Some IX 107-124
Любецкий В.А.
Гейтингово-значный анализ: гипотеза П. Новикова VIII 105-119
Алгоритм определения вторичной структуры РНК (совм. с Верещагиным Н.К.) XIV 99-109
Магазов С.С.
Имена как способ представления знаний IX 161-175
Маркин В.И.
Окрестностная семантика для модальностей de re I 13-18
Семантическое доказательство погружаемости некоторых систем силлогистики в исчисление предикатов II 17-26
Системы силлогистики, адекватные двум переводам силлогистических формул в исчисление предикатов В.А. Смирнова XII 107-116
Воображаемая логика-2: реконструкция одного из вариантов знаменитой логической системы Н.А. Васильева (совм. с Зайцевым Д.В.) XIII 134-142
Матерна П.
Транспарентная интенсиональная логика I 66-80
Меськов В.С.
Логическая экспликация неравенства Белла (совм. с Тягло А.В.) VII 134-139
Мчедлишвили Л.И.
Интерпретация аподиктической силлогистики Аристотеля III 110-118
Эктезис в силлогистике Аристотеля III 119-128
Навроцкий В.В.
Временная интервальная паранепротиворечивая семантика III 29-33
Невдобенко О.И.
Допустимые оценки и отношения типа следования XIII 60-70
Непейвода Н.Н.
Конструктивные логики I 91-106
Префиксные семантические таблицы для модальных логик III 78-91
Автопродуктивные системы теорий как средство описания систем неформализуемых понятий IV 96-108
Системология 1 XIII 162-169
Уровни знаний и умений XIV 9-35
Новосёлов М.М.
Абстракция неразличимости и алгебра неразличимостей II 113-122
К истории дискуссий о логике Брауэра XII 8-14
Абстракция множества и парадокс Рассела XIII 156-161
Одинцов С.П.
Изоморфизмы логики классической опровержимости и их обобщения XII 48-61
Павлов С.А.
Логика с терминами “истинно” и “ложно” VIII 95-104
Неклассический подход к теории обозначения IX 97-106
Логика ложности FL4 X 14-35
Трехзначная логика Лукасевича и логика ложности XI 76-91
Аксиоматический подход к теории обозначения XII 92-106
От исчисления предиката ложности к исчислению символьных выражений XIII 120-129
Полная эквивалентность, логики Клини и логика Бочвара XIV 76-80
Попа К.
Логика действия и метод критического хода мысли VI 18-31
Попов В.В.
Высказывания о процессах в естественном языке: логический анализ VI 110-112
Попов В.М.
Разрешимость силлогистики с отрицательными терминами I 36-46
Аналитико-табличная формулировка систем силлогистического типа II 27-31
Импликативные релевантные логики и существенные формулы III 27-28
О расширении системы С2 “оккамовской силлогистики” V 116-119
К вопросу о логике эклектики (совм. с Поповичем А.Н.) VI 85-88
Примеры дефинициально несовместимых теорий VII 86-90
Новая аксиоматизация импликативного фрагмента бесконечнозначной логики Лукасевича (совм. с Карпенко А.С.) XI 71-75
Секвенциальное представление и семантика системы V1 А. Арруда XIII 131-133
Погружение классической пропозициональной логики в ее импликативный фрагмент и в импликативный фрагмент интуиционистской пропозициональной логики XIV 36-41
Попович А.Н.
К вопросу о логике эклектики (совм. с Поповым В.М.) VI 85-88
Rijke M. de
Directed Simulations (with Kurtonina N.) XIII 170-188
Родос В.Б.
Непосредственные умозаключения и силлогистика VI 113-117
Рыбаков М.Н.
Стандартные переводы неклассических формул и относительная разрешимость логик (совм. с Чагровым А.В.) XIV 81-98
Савенко С.Б.
Классификация видов возможности в теории модальных понятий III 124-133
Самохвалов К.Ф.
Рабочая характеристика первопорядкового исчисления XIII 96-104
Серебрянников О.Ф.
Новые доказательства непротиворечивости предикативной второпорядковой арифметики Пеано III 92-99
Нормализация выводов в предикативной арифметике второго порядка IV 86-91
Сидоренко Е.А.
О различных понятиях вывода из гипотез I 27-35
Семантическое построение релевантных логик II 81-84
О взаимоотношениях E и NR-теорий III 14-19
Семантики релевантного следования без невозможных возможных миров IV 53-59
О “парадоксе” неожиданной экзекуции и о том, почему таковая является возможной V 131-133
О различии между доказательствами и выводами из истинных посылок VI 32-37
Принцип дедукции и релевантные теории импликации VII 47-55
Обобщение теоремы дедукции VIII 35-42
Релевантная реляционная семантика с двумирными точками соотнесения X 61-78
Семантика следования (для системы E) XI 33-55
П. Флоренский о совместимости логической противоречивости Священного писания с его божественным происхождением XI 149-156
Семантика условных высказываний XII 62-84
Теорема дедукции для всех систем XIII 84-95
Скляревский А.М.
Нормальные формы: структура, преобразования, следование IX 141-160
Смирнов В.А.
Погружение элементарной онтологии Ст. Лесневского во второпорядковое одноместное исчисление предикатов I 55-64
Погружение систем позитивной силлогистики в одноместное исчисление предикатов II 2-16
Дефинициальная эквивалентность расширенной силлогистики С2Д булевой алгебре II 43-48
Об одной системе паранепротиворечивой логики III 129-133
Утверждение и предикация. Логика высказываний и событий V 37-45
Дефинициальная эквивалентность систем силлогистики X 7-13
Смирнова Е.Д.
К вопросу построения семантик формализованных языков XI 9-32
Теория семантических категорий для языков с неопределенно-местными функторами XIV 110-113
Сокулер Е.А.
Семантика и онтология: к интерпретации некоторых моментов концепций Р. Карнапа и Л. Витгенштейна XIII 49-59
Солодухин О.А.
Изменение и модальность: модели с изменяющимся универсумом V 120-130
Логика изменений: потенциальность и тенденция изменения VII 113-123
Сорина Г. В.
Философские ассоциации (на базе критического мышления) XIII 41-48
Сыркин Г.И.
Многозначная логика и теория моделей III 40-54
Талышлы С.М.
Проблема алгебры логики в трудах Ч.С. Пирса IX 176-180
Татиевская Е.Ж.
Л.Витгенштейн и расселовская теория значения VIII 123-137
Тягло А.В.
Логическая экспликация неравенства Белла (соовм. с Меськовым В.С.) VII 1 34-139
Фам Динь Нгьем
Релевантная семантика логического программирования IX 64-82
Релевантная семантика расширенных программ X 79-93
Фримучкова Е.В.
Полимодальные фрагменты временных логик с нестандартными условиями сопряженности прошлого и будущего XII 139-149
Хаханян В.Х.
К характеризации регулярных кардиналов VIII 120-122
Аксиома выбора и нестандартная теория множеств XII 24-26
Хлус А.М.
Очерчивание и неявная определимость IX 21-35
Чагров А.В.
Два новых вида мультимодальных логик VI 48-59
О границах множества модальных напарников интуиционистской логики VII 74-81
Какие же свойства расширений K4 разрешимы VIII 90-94
Стандартные переводы неклассических формул и относительная разрешимость логик (совм. с Рыбаковым М.Н.) XIV 81-98
Логика, не являющаяся ни конечно-значной, ни бесконечно значной XIV 59-67
Чагрова Л.А.
О неразрешимости первопорядковой определимости пропозициональных формул VII 82-85
Чесноков С.В.
Гуманитарные эмпирические исследования и обобщение силлогистики Аристотеля IV 40-52
Чуаки Р.
Истина, возможность и вероятность VII 6-15
Шалак В.И.
Устранимость сечения для интуиционистского фрагмента системы релевантной логики II 85-92
О некоторых функционально полных списках формул в релевантной логике IV 60-62
Силлогистика, логика предикатов, модальная логика и автоматическое доказательство теорем IX 83-96
Минимальные логические матрицы для нечеткой алгебры типа 2 (совм. с Карпенко А.С.) XI 56-63
Теория пропозициональных программ XII 41-47
Реляционная интерпретация классической логики высказываний XIII 110-114
Шварц Г.Ф.
Устранение сечения в логиках близких к S5+ VIII 81-89
Шеффлер У.
Против принципа условного исключенного третьего VIII 26-34
До 1994 года «Труды научно-исследовательского семинара по логике Инсти тута философии АН СССР».