ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
В диссертации исследуется соотнесение по множеству теорем ок. 50-ти формальных силлогистик, результат сравнения представлен в виде 5 диаграмм Хассе. Также исследуется соотнесение формальных алфавитов, множеств ПП-терминов и множеств ПП-формул исследуемых силлогистических теорий. Результаты этих сравнений также представлены в виде диаграмм Хассе. В начале работы большое внимание уделяется методологии сравнения и систематизации формальных теорий.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Полный текст диссертации | Полный текст диссертации "Структурные описания множеств формальных теорий (на материале формальных силлогистик)" Т.А. Шияна на соисканик степени к.ф.н. по логике | Shiyan_T.A._Dissertatsiya_k.f.n..pdf | 983,0 КБ | 6 июля 2017 |
2. | Автореферат | Полный текст автореферата диссертации "Структурные описания множеств формальных теорий (на материале формальных силлогистик)" Т.А. Шияна на соисканик степени к.ф.н. по логике | Shiyan_T.A._Avtoreferat_k.f.n..pdf | 262,8 КБ | 6 июля 2017 |