Логика

Подписаться на обновления

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