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.
Recommendations
Cites work
Cited in
(6)- General implicativity in groupoids
- On derived algebras and subvarieties of implication zroupoids
- Filter theory of extended implicative groupoids
- Distributive implication groupoids
- scientific article; zbMATH DE number 5003386 (Why is no real title available?)
- EXTENDED SPECIAL SETS IN IMPLICATIVE SEMIGROUPS
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)