Унифицированная алгебраическая модель логического вывода на основе решетки Линденбаума-Тарскогодоклад на конференции