ЛОГИКА

• Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик. 2008
  Шиян Тарас Александрович. Структурные описания множеств формальных теорий : на материале формальных силлогистик : диссертация ... кандидата философских наук : 09.00.07 / Шиян Тарас Александрович; [Место защиты: Моск. гос. ун-т им. М.В. Ломоносова].- Москва, 2008.- 178 с.: ил. РГБ ОД, 61 09-9/3
  
• Девяткин Леонид Юрьевич. Многозначные изоморфы классической пропозициональной логики. 2008
  Девяткин Леонид Юрьевич. Многозначные изоморфы классической пропозициональной логики : диссертация ... кандидата философских наук : 09.00.07 / Девяткин Леонид Юрьевич; [Место защиты: Ин-т философии РАН].- Москва, 2008.- 161 с.: ил. РГБ ОД, 61 09-9/123
• Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике. 2006
  Микиртумов Иван Борисович. Теория смысла в общей интенсиональной логике : 09.00.07 Микиртумов, Иван Борисович Теория смысла в общей интенсиональной логике (от принципа композициональности к эпистемическим установкам) : диссертация... д-ра филос. наук : 09.00.07 Санкт-Петербург, 2006 392 с. РГБ ОД, 71:07-9/122
• Крушинский Андрей Андреевич. Логика древнего Китая. 2006
  Крушинский Андрей Андреевич. Логика древнего Китая : дис. ... д-ра филос. наук : 09.00.07 Москва, 2006 316 с. РГБ ОД, 71:07-9/88
  
• Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике. 2005
  Антонова Ольга Аркадьевна. Современные проблемы использования табличных методов в логике : Дис. ... д-ра филос. наук : 09.00.07 : СПб., 2005 346 c. РГБ ОД, 71:05-9/92
• Кварталова Наталия Леонидовна. Паранепротиворечивость и релевантность. 2004
  Кварталова Наталия Леонидовна. Паранепротиворечивость и релевантность : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 86 c. РГБ ОД, 61:04-9/450
• Ходикова Нина Анатольевна. Логико-методологическое исследование происхождения теории поиска вывода. 2004
  Ходикова Нина Анатольевна. Логико-методологическое исследование происхождения теории поиска вывода : Дис. ... канд. филос. наук : 09.00.07 : Калининград, 2004 167 c. РГБ ОД, 61:05-9/191
  
• Хаханян Валерий Христофорович. Интуиционистская логика и теория множеств. 2004
  Хаханян Валерий Христофорович. Интуиционистская логика и теория множеств : Дис. ... д-ра филос. наук : 09.00.07 : М., 2004 189 c. РГБ ОД, 71:05-9/80
• Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики. 2004
  Григорьев Олег Михайлович. Аналитико-табличная формализация систем временной логики : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 115 c. РГБ ОД, 61:04-9/648
• Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов. 2004
  Шангин Василий Олегович. Автоматический поиск натурального вывода в классической логике предикатов : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2004 109 c. РГБ ОД, 61:05-9/168
• Комендантский Владимир Евгеньевич. Теория вывода в многозначных логиках. 2003
  Комендантский Владимир Евгеньевич. Теория вывода в многозначных логиках : Дис. ... канд. филос. наук : 09.00.07 : Москва, 2003 155 c. РГБ ОД, 61:04-9/24-5
• Яйлеткан Александр Александрович. Расширение выразительных возможностей языка современной логики. 2003
  Яйлеткан Александр Александрович. Расширение выразительных возможностей языка современной логики : Дис. ... канд. филос. наук : 09.00.07 : Санкт-Петербург, 2003 162 c. РГБ ОД, 61:04-9/204
• Нечитайлов Юрий Вячеславович. Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр. 2003
  Нечитайлов Юрий Вячеславович. Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр : Дис. ... канд. филос. наук : 09.00.07 : Санкт-Петербург, 2003 200 c. РГБ ОД, 61:04-9/303
• Золотов Эдгар Станиславович. Применение системной модели аргументации к анализу текста. 2003
  Золотов Эдгар Станиславович. Применение системной модели аргументации к анализу текста : Дис. ... канд. филос. наук : 09.00.07 : Санкт-Петербург, 2003 189 c. РГБ ОД, 61:04-9/252
• Тарковский Владимир Николаевич. Обоснование дедуктивного подхода в научном объяснении. 2003
  Тарковский Владимир Николаевич. Обоснование дедуктивного подхода в научном объяснении : Дис. ... канд. филос. наук : 09.00.07 : Санкт-Петербург, 2003 137 c. РГБ ОД, 61:04-9/141-1
• Ломова Ирина Олеговна. Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков. 0000
  Ломова Ирина Олеговна. Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX веков : Дис. ... канд. филос. наук : 09.00.07 СПб., 2005 148 с. РГБ ОД, 61:05-9/635
• Боброва Ангелина Сергеевна. Теория рассуждений Ч. Пирса. 0000
  Боброва Ангелина Сергеевна. Теория рассуждений Ч. Пирса : 09.00.07 Боброва, Ангелина Сергеевна Теория рассуждений Ч. Пирса (Проблема абдукции) : Дис. ... канд. филос. наук : 09.00.07 Москва, 2005 154 с. РГБ ОД, 61:05-9/380
• Иванова Ирина Ивановна. Сравнительный анализ методов античной, средневековой и классической индуктивной логики. 0000
  Иванова Ирина Ивановна. Сравнительный анализ методов античной, средневековой и классической индуктивной логики : ил РГБ ОД 61:85-9/108
• Сологубов Александр Михайлович. Системная модель аргументации в практической философии И. Канта. 0000
  Сологубов Александр Михайлович. Системная модель аргументации в практической философии И. Канта : Дис. ... канд. филос. наук : 09.00.07 Калининград, 2006 156 с. РГБ ОД, 61:06-9/397
• Баташев Денис Вячеславович. Семантический анализ простых паранормальных логик. 0000
  Баташев Денис Вячеславович. Семантический анализ простых паранормальных логик : Дис. ... канд. филос. наук : 09.00.07 Москва, 2005 166 с. РГБ ОД, 61:06-9/130
• Туфан Захра Фуатовна. Роль эстетического восприятия в религиозном и атеистическом сознании. 0000
  Туфан Захра Фуатовна. Роль эстетического восприятия в религиозном и атеистическом сознании : ил РГБ ОД 61:85-9/677
• Сидоренко Евгений Александрович. Релевантная логика и теория следования. 0000
  Сидоренко Евгений Александрович. Релевантная логика и теория следования : ил РГБ ОД 71:85-9/117
• Шкатов Дмитрий Петрович. Модальные логики с нестандартными модальностями. 0000
  Шкатов Дмитрий Петрович. Модальные логики с нестандартными модальностями : Дис. ... канд. филос. наук : 09.00.07 Москва, 2006 158 с. РГБ ОД, 61:06-9/413
• Умуркулова Дараже Габитовна. Логический анализ структуры математизированных наук (проблема изложения). 0000
  Умуркулова Дараже Габитовна. Логический анализ структуры математизированных наук (проблема изложения) : ил РГБ ОД 61:85-9/372
• Карпович Валентин Никонович. Логический анализ основных этапов становления теории. 0000
  Карпович Валентин Никонович. Логический анализ основных этапов становления теории : ил РГБ ОД 71:85-9/47
• Алексеева Ирина Юрьевна. Логические проблемы научной дискуссии. 0000
  Алексеева Ирина Юрьевна. Логические проблемы научной дискуссии : ил РГБ ОД 61:85-9/780
• Аносова Виктория Валентиновна. Логические идеи Н.А. Васильева и паранепротиворечивые системы логики. 0000
  Аносова Виктория Валентиновна. Логические идеи Н.А. Васильева и паранепротиворечивые системы логики : ил РГБ ОД 61:85-9/197
• Гусева Марианна Анатольевна. Логико-философские исследования Боэция. 0000
  Гусева Марианна Анатольевна. Логико-философские исследования Боэция : Дис. ... канд. филос. наук : 09.00.07 СПб., 2006 192 с. РГБ ОД, 61:06-9/182
• Маркин Владимир Ильич. Логико-семантический анализ внутренних модальностей. 0000
  Маркин Владимир Ильич. Логико-семантический анализ внутренних модальностей : ил РГБ ОД 61:85-9/610
• Волченко Мария Викторовна. Логико-семантические средства формализации текста в вопросно-ответной системе. 0000
  Волченко Мария Викторовна. Логико-семантические средства формализации текста в вопросно-ответной системе : ил РГБ ОД 61:85-9/301
• Жамбалдагбаев Нима Цыренович. Логико-методологические проблемы научного объяснения. 0000
  Жамбалдагбаев Нима Цыренович. Логико-методологические проблемы научного объяснения : ил РГБ ОД 61:85-9/378
• Попова Варвара Сергеевна. Логика в университетской философии Санкт-Петербурга начала XX века. 0000
  Попова Варвара Сергеевна. Логика в университетской философии Санкт-Петербурга начала XX века : 09.00.07 Попова, Варвара Сергеевна Логика в университетской философии Санкт-Петербурга начала XX века (дискуссия А. И. Введенского и Н. О. Лосского) : дис. ... канд. филос. наук : 09.00.07 Калининград, 2006 188 с. РГБ ОД, 61:07-9/122
• Новолодская Татьяна Алексеевна. Диалектическая природа значения языковых выражений (логико-методологические аспекты). 0000
  Новолодская Татьяна Алексеевна. Диалектическая природа значения языковых выражений (логико-методологические аспекты) : ил РГБ ОД 61:85-9/302
• Курбатов Владимир Иванович. Действия и нормы исследование по логике деонтических модальностей. 0000
  Курбатов Владимир Иванович. Действия и нормы исследование по логике деонтических модальностей : исследование по логике деонтических модальностей Москва, 1983 138 c. : ил РГБ ОД 61:85-9/247
• Агапов Евгений Петрович. Вклад С. Лесневского в формирование семантики. 0000
  Агапов Евгений Петрович. Вклад С. Лесневского в формирование семантики : ил РГБ ОД 61:85-9/106