ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Объектом исследования являются различные отношения следования, основанные на четырехзначной семантике Данна-Белнапа. В круг основных целей данной работы входит: аксиоматизация логик ETL и NFL в виде систем бинарных выводимостей, исследование их металогических свойств, исследование взаимоотношений ETL и NFL с уже известными расширениями логики FDE, построение адекватных семантик полуобобщенных описаний состояний для логик K3 и LP, построение адекватных семантик обобщенных описаний состояний для логик ETL и NFL. Методологическую основу исследования составляет аппарат современной символической логики. Полученные в диссертации результаты позволяют уточнить понятие логического следования и выявить новые проблемы, связанные с формализацией подобных отношений, и могут быть использованы для чтения курсов по релевантной, многозначной логике, логикам с обобщенными истинностными значениями, отдельным аспектам логической семантики и теории доказательств.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Заключение диссертационного совета по диссертации | Zaklyuchenie_dissertatsionnogo_soveta.pdf | 404,7 КБ | 19 октября 2018 | |
2. | Сведения об официальных оппонентах, включая публикации | Svedeniya_ob_ofitsialnyih_opponentah.pdf | 387,8 КБ | 19 сентября 2018 | |
3. | Отзыв официального оппонента | Отзыв И.Б. Микиртумова | Otzyiv_opponenta_I._B._Mikirtumova.PDF | 484,2 КБ | 20 сентября 2018 |
4. | Отзыв официального оппонента | Отзыв В.И. Шалака | Otzyiv_opponenta_V.I._Shalaka.pdf | 1,7 МБ | 20 сентября 2018 |
5. | Отзыв официального оппонента | Отзыв Н.Л. Архиереева | Otzyiv_opponenta_N.L._Arhiereeva.pdf | 857,8 КБ | 20 сентября 2018 |
6. | Отзыв научного руководителя/консультанта | Belikov_A.A._Otzyiv_nauchnogo_rukovoditelya.pdf | 707,0 КБ | 6 июля 2018 | |
7. | Сведения о научном руководителе | Svedeniya_o_nauchnom_rukovoditele_A.A._Belikova.pdf | 382,4 КБ | 5 июля 2018 | |
8. | Решение дисс.совета о приеме/отказе к защите | Протокол заседания диссовета о приеме к защите (Протокол №1) | Belikov_A.A._Postanovka_k_zaschite_Protokol_No1.pdf | 145,4 КБ | 5 июля 2018 |
9. | Полный текст диссертации | DISBELIKOV.pdf | 833,5 КБ | 5 июля 2018 | |
10. | Автореферат | AUTOBELIKOV_final.pdf | 366,4 КБ | 5 июля 2018 |