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

A list of atomic formulas, quasiequations and universal Horn formulas.

reflexive: $xRx$
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$
left R-preserving: $xRy \Longrightarrow z*x\ R\ z*y$ right R-preserving: $xRy \Longrightarrow x*z\ R\ y*z$

QR Code
QR Code horn_formulas (generated for current page)