1 problem

Let ${{\mathrm {Ab}}}+\rul{IDC}^\vee+\rul{Arch}^\vee$ denote the infinitary extension of Abelian logic by the rules $\rul{IDC}^\vee$ and $\rul{Arch}^\vee$, and let $\alg{Z}$ be the…