|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Аксиоматизация логики Данна-Белнапа с одним выделенным значениемдоклад на конференции
- Автор: Беликов А.А.
- Международная Конференция : Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года
- Даты проведения конференции: 17-19 июня 2015
- Дата доклада: 19 июня 2015
- Тип доклада: Устный
- Докладчик: Беликов А.А.
- Место проведения: Москва, Russia
-
Аннотация доклада:
We define four-valued propositional logic ETLn which corresponds to the idea of building Dunn-Belnap's logic (FDE) with one designated value. This research focused on the problem of constructing the standart axiomatization of ETLn and investigates the resulting philosophical features of this logic
- Добавил в систему: Беликов Александр Александрович