https://123dok.net/document/yng011jz-introducing-consistency-in-a-dialogical-framework-for-paraconsistent-logic-online-2018.html