Обоснование выводимых правил в нетранзитивной логике Уирадоклад на конференции