search

teorth / equational_theories

A project to map out the relations between different equational theories of Magmas.
https://teorth.github.io/equational_theories/
Apache License 2.0
232 stars 54 forks source link

Equation 47 does not imply 1518 nor 2910 #877

Closed qawbecrdtey closed 1 day ago

qawbecrdtey commented 1 day ago

The magma [[0, 0], [0, 1]] which satisfies 47 (x = x ◇ (x ◇ (x ◇ x))) won't satisfy 1518 (x = (y ◇ y) ◇ (x ◇ (y ◇ x))) and 2910 (x = ((y ◇ (x ◇ y)) ◇ x) ◇ y). Zulip thread