![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
В статье анализируется представление знания в предложенной С.~Яськовским дискуссивной (дискурсивной) логике $ \bf{D_{2}} $, которая является одной из первых паранепротиворечивых логик. Показывается возможность упрощения её аксиоматизации и обсуждается решение проблемы независимости аксиом.