Система натурального вывода для логики бессмысленности Zдоклад на конференции