|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Предикатный вариант совместной логики задач и высказыванийстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Оноприенко А.А.
- Журнал: Математический сборник
- Том: 213
- Номер: 7
- Год издания: 2022
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 97
- Последняя страница: 120
- DOI: 10.4213/sm9608
- Аннотация: Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC относительно этого типа моделей. Показана консервативность логики QHC относительно интуиционистской модальной логики QH4, совпадающей с “lax logic” QLL+. Построены модели Крипке с отмеченными мирами логики QH4, доказана теорема о корректности и полноте. Также доказаны дизъюнктивное и экзистенциальное свойства логик QHC и QH4.
- Добавил в систему: Оноприенко Анастасия Александровна