Mathematical Structures: History of BCK-meet-semilattices

History of BCK-meet-semilattices

Difference (from prior major revision) (author diff)

Changed: 53c53

$x\le y \iff x\rightarrowt y=1$ is a partial order, with $1$ as greatest element, and $\wedge$ is a meet in this partial order. \cite{Idziak1984}

$x\le y \iff x\rightarrow y=1$ is a partial order, with $1$ as greatest element, and $\wedge$ is a meet in this partial order. \cite{Idziak1984}