|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Топологические модели логик HC и H4тезисы доклада
- Автор: Оноприенко А.А.
- Сборник: Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов
- Тезисы
- Год издания: 2021
- Издательство: Тверской государственный университет
- Местоположение издательства: Тверь
- Первая страница: 241
- Последняя страница: 245
- DOI: 10.26456/mfcsics-21-33
- Аннотация: Рассматривается пропозициональный фрагмент HC совместной логика задач и высказываний QHC, введённой С. А. Мелиховым. Предлагаются топологические модели этой логики. Также рассмотрены топологические модели логики H4, являющейся расширением так называемой «lax logic». Для всех этих моделей доказана теорема о корректности и полноте.
- Добавил в систему: Оноприенко Анастасия Александровна