О конечной порожденности исчисления высказываний с произвольными операциями выводадоклад на конференции