Formal systems of non-classical logic and automated theorem proving using machine learning methods