Equiprovability

Two formulas A and B are equiprovable, when $\vdash A$ is provable if and only if $\vdash B$ is provable.

• for any A and B, $A\tens B$ and $A\with B$ are equiprovable.
• for any A, A, $\oc A$ and $\forall\xi A$ are equiprovable.