ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
В докладе предпринимается попытка представить формальную экспликацию логики с двумя отношениями атаки, выражающими критику тезиса и критику формы. Логика строится семантически с использованием четырехэлементных матриц Данна-Белнапа. Представлена аксиоматизация данной логики