M. Jukiewicz, V. O. Shangin, “Knowledge representation in S. Jaskowski's discussive logic”, Intelligent systems. Theory and applications, 2021, Volume 25, Issue 4,Pages <nobr>343

Part 9. Knowledge representation and reasoning automation

Knowledge representation in S. Jaskowski's discussive logic

M. Jukiewicz^a, V. O. Shangin^b

^a Adam Mickiewicz University
^b Lomonosov MSU

Abstract: In the paper, one analyzes knowledge representation in S. Jaśkowski's discussive (discursive) logic D2 which is one of the pioneering paraconsistent logics. One shows an opportunity to simplify its axiomatization and suggests some decision of the axioms' independence problem.

Keywords: discussive logic, discursive logic, paraconsistent logic, knowledge representation.