Диаграммный метод для первопорядкового фрагмента релевантной логикидоклад на конференции