|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Топологические модели пропозициональной логики задач и высказыванийстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Оноприенко А.А.
- Журнал: Вестник Московского университета. Серия 1: Математика. Механика
- Номер: 5
- Год издания: 2022
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 25
- Последняя страница: 30
- Аннотация: Рассматривается пропозициональный фрагмент HC совместной логики задач и высказываний, введенной С. А. Мелиховым. Строятся топологические модели этой логики, показывается корректность и полнота логики HC относительно этого типа моделей. Также строятся топологические модели логики H4, которая была введена С. Н. Артёмовым и Т. Протопопеску.
- Добавил в систему: Оноприенко Анастасия Александровна