|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Системы без правила сечения для бимодальных логик доказуемости CSM и CSMPдипломная работа (Магистр)
- Научные руководители: Яворская Т.Л., Беклемишев Л.Д.
- Автор: Ванг Вэйхань
- Тип: Магистр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова, Мгу имени М.В.Ломоносова
- Год защиты: 2023
- Аннотация: Бимодальные логики CSM и CSMP были введены работах по логике доказуемости Т. Карлсона и К. Сморинского и Л.Д. Беклемишева, соответственно. Первая из них является наименьшей бимодальной логикой доказуемости для пар расширений арифметики Пеано (T,U), где U доказуемо содержит T. Вторая – для таких же теорий, где к тому же U является расширением T с помощью арифметических П1 аксиом. В данной дипломной работе предложены системы без правила сечения для логик CSM и CSMP и доказана соответствующая теорема о полноте по Крипке. Предложенные системы удовлетворяют свойству подформульности в случае CSM и «почти подформульности» в случае CSMP. Эти результаты могут быть полезны в дальнейших исследованиях бимодальных логик доказуемости.
- Добавил в систему: Яворская Татьяна Леонидовна