|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Отношения следования в логиках с обобщенными истинностными значениями и их формализациядиссертация
- Научный руководитель: Зайцев Дмитрий Владимирович
- Автор: Беликов Александр Александрович
- Дата защиты: 26 сентября 2018 года в 15:00
- Шифр диссертационного совета: МГУ.057.1(09.01)
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Философия
- Специальность: 09.00.07 - Логика
- Тип диссертации: Кандидатская
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Оппоненты: Шалак Владимир Иванович, Архиереев Николай Львович, Микиртумов Иван Борисович
-
Аннотация:
Объектом исследования являются различные отношения следования, основанные на четырехзначной семантике Данна-Белнапа. В круг основных целей данной работы входит: аксиоматизация логик 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 |