On elimination of cut-type rules from Robinson and Presburger axiomatic systems

There are investigated possibilities of elimination of the cut-rule (cut-formulas being subformulas of axioms) in sequenzenformulation of the systems mentioned in the title. For the Robinson system it proves possible to eliminate cut-rule entirely (and consequently to obtain a new proof of its consistency).