PROBLEM OF DECIDABILITY FOR SOME CONSTRUCTIVE THEORIES OF EQUALITIES

The question of the existence of a decidable algorithm for the following three deductive theories, constructed on the basis of constructive predicate calculus, is considered herein.