Слабые конъюнкции тождеств

We say that a weak conjunction of equalities of partial functions is true if all those equalities are true in a usual sence provided that all functions there are defined. We construct a full and correct system of inference rules for the logic of weak conjunctions of identities.