Weak embeddability of the partial Menger algebra of formulas
Thodsaporn Kumduang · Quasigroups and Related Systems · 2024
We consider the partial (n + 1)-operation of the set of all n-ary formulas of arbitrary types and then prove that the superassociativity is satisfied as a weak identity. Binary partial associative operations of formulas induced by the partial operation of type (n + 1) are proposed. We also prove that the partial unitary Menger algebra of formulas is weak embeddable into the algebra of partial n-ary functions under which its selectors correspond to projections.