Электронная библиотека Веда
Цели библиотеки
Скачать бесплатно
Доставка литературы
Доставка диссертаций
Размещение литературы
Контактные данные
Я ищу:
Библиотечный каталог российских диссертаций

Вы находитесь:
Диссертационные работы России
Философские науки
Логика

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

[0] [1]

© Научная электронная библиотека «Веда», 2003-2013.
info@lib.ua-ru.net