Syntax | Terms | Equations | Horn formulas | Universal formulas | First-order formulas | Theories

A list of quasiequations and universal Horn formulas.

transitive: $xRy \mbox{ and } yRz\Longrightarrow xRz$
antisymmetric: $xRy \mbox{ and } yRx\Longrightarrow x=y$
left cancellation: $x*y=x*z\Longrightarrow y=z$ right cancellation: $x*z=y*z\Longrightarrow x=y$