Аннотация:
В статье анализируется представление знания в предложенной С. Яськовским дискуссивной (дискурсивной) логике D2, которая является одной из первых паранепротиворечивых логик. Показывается возможность упрощения её аксиоматизации и обсуждается решение проблемы независимости аксиом.
Ключевые слова:дискуссивная логика, дискурсивная логика, паранепротиворечивая логика, представление знания.
Полный текст:
PDF файл (363 kB)