On extended implication groupoids

From MaRDI portal





An \textit{ei-groupoid} is a binary groupoid $(X,\cdot)$ with a fixed subset $A$ of $X$ such that $xy\in A$ and $Ax=\{x\}$ for all $x,y\in X$. The construction of implication algebra from ei-groupoid is presented and it is proved that in distributive ei-groupoids filters coincide with ideals.











This page was built for publication: On extended implication groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2316780)