|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Топологические модели логик HC и H4доклад на конференции
- Автор: Оноприенко А.А.
- Всероссийская Конференция : Математические основы информатики и информационно-коммуникационных систем.
- Даты проведения конференции: 3-8 декабря 2021
- Дата доклада: 5 декабря 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Тверь., Russia
-
Аннотация доклада:
Рассматривается пропозициональный фрагмент HC совместной логика задач и высказываний QHC, введённой С. А. Мелиховым. Предлагаются топологические модели этой логики. Также рассмотрены топологические модели логики H4, являющейся расширением так называемой «lax logic». Для всех этих моделей доказана теорема о корректности и полноте.
- Добавил в систему: Оноприенко Анастасия Александровна