Formalization of the Rules of Inference in Erlang - S. I. Shapovalova (Mathematical and computer modelling. Series: Technical sciences, 2020)