Implication Zroupoids and Birkhoff Systems
Implication Zroupoids and Birkhoff Systems
An algebra $mathbf A = langle A, to, 0 rangle$, where $to$ is binary and $0$ is a constant, is called an implication zroupoid ($mathcal{I}$-zroupoid, for short) if $mathbf{A}$ satisfies the identities: $(x to y) to z approx [(z' to x) to (y to z)']'$, where $x' : = x …