Логико-методологические закономерности качественного анализа слабо структурированных проблем : диссертация ... кандидата философских наук : 09.00.07

Логические модели представления знаний : диссертация ... кандидата философских наук : 09.00.07

Учение Пьера де ла Рамэ и его влияние на логику и научную методологию Нового времени : диссертация ... кандидата философских наук : 09.00.07

Логико-семиотический анализ сакральных текстов и сакральной коммуникации : диссертация ... доктора философских наук : 09.00.07

Логика с операторами истинности и ложности и ее соотношение с логиками Лукасевича, Клини, Белнапа и Вригта : диссертация ... кандидата философских наук : 09.00.07

Формирование логического учения о понятии и суждении : диссертация ... кандидата философских наук : 09.00.07

Учение Аристотеля о модальности : диссертация ... кандидата философских наук : 09.00.07

Семантики ограниченных множеств описаний состояний : диссертация ... кандидата философских наук : 09.00.07

Становление формальных методов в логике отношений : диссертация ... кандидата философских наук : 09.00.07

Алгоритм поиска натурального вывода для интуиционистской логики высказываний : диссертация ... кандидата философских наук : 09.00.07

Теория вывода в многозначных логиках : диссертация ... кандидата философских наук : 09.00.07

Применение системной модели аргументации к анализу текста : диссертация ... кандидата философских наук : 09.00.07

Проблема формализации концепций параллелизма и ограниченной рациональности средствами динамической логики игр : диссертация ... кандидата философских наук : 09.00.07

Обоснование дедуктивного подхода в научном объяснении : диссертация ... кандидата философских наук : 09.00.07

Логические идеи И. Канта : диссертация ... кандидата философских наук : 09.00.07

Расширение выразительных возможностей языка современной логики : диссертация ... кандидата философских наук : 09.00.07

Логико-методологическое исследование происхождения теории поиска вывода : диссертация ... кандидата философских наук : 09.00.07

Интуиционистская логика и теория множеств : диссертация ... доктора философских наук : 09.00.07

Автоматический поиск натурального вывода в классической логике предикатов : диссертация ... кандидата философских наук : 09.00.07

Аналитико-табличная формализация систем временной логики : диссертация ... кандидата философских наук : 09.00.07