| Тема диссертации |
Автор |
Год |
|
|
Расширение выразительных возможностей языка современной логики
|
Яйлеткан, Александр Александрович |
2003 |
|
|
Теория вывода в многозначных логиках
|
Комендантский, Владимир Евгеньевич |
2003 |
|
|
Алгоритм поиска натурального вывода для интуиционистской логики высказываний
|
Макаров, Валентин Валентинович |
2002 |
|
|
Семантики ограниченных множеств описаний состояний
|
Архиереев, Николай Львович |
2001 |
|
|
Становление формальных методов в логике отношений
|
Маков, Борис Васильевич |
2001 |
|
|
Учение Аристотеля о модальности
|
Кускова, Светлана Михайловна |
2001 |
|
|
Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта
|
Павлов, Сергей Афанасьевич |
2000 |
|
|
Логико-семиотический анализ сакральных текстов и сакральной коммуникации
|
Гриненко, Галина Валентиновна |
2000 |
|
|
Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени
|
Нкодиа Орельен-Серж-Жерве |
2000 |
|
|
Формирование логического учения о понятии и суждении
|
Назаренко, Павел Анатольевич |
2000 |
|
|
Анализ контрфактических высказываний в логике и искусственном интеллекте
|
Фролова, Алла Борисовна |
1999 |
|
|
Генценовское исчисление естественных выводов как средство экспликации форм интуитивных умозаключений в трудах античных математиков
|
Бирюков, Александр Викторович |
1999 |
|
|
Логико-методологические закономерности качественного анализа слабо структурированных проблем
|
Климов, Евгений Николаевич |
1999 |
|
|
Логико-философские принципы прагматики языка: анализ концепции "языковых игр" Л.Витгейнштейна
|
Гончаренко, Марк Васильевич |
1999 |
|
|
Логико-эпистемологические воззрения Дигнаги и его идейных преемников
|
Заболотных, Элина Леонидовна |
1999 |
|
|
Логическая мысль во Франции ХVII - начала ХIХ столетий
|
Бирюкова, Наталья Борисовна |
1999 |
|
|
Логические идеи Э. Гуссерля
|
Зайцева, Наталья Валентиновна |
1999 |
|
|
Логические модели представления знаний
|
Милославов, Алексей Сергеевич |
1999 |
|
|
Логические средства моделирования диалога
|
Болдырев, Андрей Степанович |
1999 |
|
|
Немонотонная логика и проблемы формализации контекста
|
Черноскутов, Юрий Юрьевич |
1999 |
|
