|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
FDE and its Relativesдоклад на конференции
- Авторы: Беликов А.А., Зайцев Д.В.
- Международная Конференция : Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
- Даты проведения конференции: 15-17 июня 2017
- Дата доклада: 15 июня 2017
- Тип доклада: Пленарный
- Докладчик: Зайцев Д.В.
- Место проведения: Философский факультет, МГУ имени М. В. Ломоносова, Russia
-
Аннотация доклада:
Рассматривается логика ETL с одним выделенным значением, вводится дуальная ей логика NFL. Предлагается алгебраическая семантика для этих логик.
- Доклад на конференции выполнен в рамках проекта (проектов):
- Добавил в систему: Зайцев Дмитрий Владимирович