Темы диссертаций и авторефератов по специальности «Логика», ВАК РФ 09.00.07

Тема диссертацииАвторГодВ корзину
Обобщенная релевантная логика и модели рассужденийЗайцев, Дмитрий Владимирович2012
Бивалентные семантикиПреловский, Николай Николаевич2011
Логические учения средневекового Ирана и их значение для западноевропейской логикиДжаббехдари, Марьям2011
Интервальная временная логика и грамматические временаШапчиц, Павел Анатольевич2010
Модальность и темпоральность в логике: синтаксические и семантические возможности взаимовыразимостиГончарко, Оксана Юрьевна2010
Протологика: новый взгляд на природу логическогоШалак, Владимир Иванович2010
Регулярные логики клини: расширение и обобщениеТомова, Наталья Евгеньевна2010
Сопоставительный анализ теорий суждений Аристотеля и Ибн СиныХудойдодов, Фаррух Бегиджонович2010
Алгоритм поиска вывода для систем негативной силлогистикиКрасненкова, Анастасия Владимировна2009
Иллокутивная логика: логическое следование, семантика и прагматикаКарпов, Глеб Викторович2009
Логическая теория смысла в аналитической философии :от логического эмпиризма к холизмуНовиченков, Сергей Александрович2009
Многозначные изоморфы классической пропозициональной логикиДевяткин, Леонид Юрьевич2008
Структурные описания множеств формальных теорий :на материале формальных силлогистикШиян, Тарас Александрович2008
Логика в университетской философии Санкт-Петербурга начала XX века :дискуссия А.И. Введенского и Н.О. ЛосскогоПопова, Варвара Сергеевна2006
Логика древнего КитаяКрушинский, Андрей Андреевич2006
Логико-философские исследования БоэцияГусева, Марианна Анатольевна2006
Модальные логики с нестандартными модальностямиШкатов, Дмитрий Петрович2006
Системная модель аргументации в практической философии И. КантаСологубов, Александр Михайлович2006
Теория смысла в общей интенсиональной логике :от принципа композициональности к эпистемическим установкамМикиртумов, Иван Борисович2006
Семантический анализ простых паранормальных логикБаташев, Денис Вячеславович2005
Современные проблемы использования табличных методов в логикеАнтонова, Ольга Аркадьевна2005
Теория рассуждений Ч. Пирса :Проблема абдукцииБоброва, Ангелина Сергеевна2005
Трансформация идей И. Канта в работах русских логиков конца XIX - начала XX вековЛомова, Ирина Олеговна2005
Автоматический поиск натурального вывода в классической логике предикатовШангин, Василий Олегович2004