|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Logics of Generalized Classical Truth Valuesдоклад на конференции
- Автор: Ziatsev Dmitry
- Международная Конференция : Международная конференция Logica 2014
- Даты проведения конференции: 16-20 июня 2014
- Тип доклада: не указан
- Докладчик: Ziatsev Dmitry
- Место проведения: Czech Republic
-
Аннотация доклада:
В докладе представлено развитие проекта обобщенных истинностных значений и предложен вариант доказательства полноты логики обобщенных истинностных значений с двумя полуотрицаниями.
- Добавил в систему: Зайцев Дмитрий Владимирович