DIG-semigroups (Q2813453)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: DIG-semigroups |
scientific article; zbMATH DE number 6597839
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | DIG-semigroups |
scientific article; zbMATH DE number 6597839 |
Statements
24 June 2016
0 references
implication groupoid
0 references
deductive system
0 references
ideal
0 references
decomposition
0 references
DIG-semigroups (English)
0 references
Elementary properties of a distributive implication groupoid-semigroup defined as an algebra \((X,\cdot,\circ,1)\), where \((X,\cdot)\) is a semigroup, \((X,\circ,1)\) is a distributive implication groupoid and \(x\cdot(y\circ z)=(x\cdot y)\circ(x\cdot z)\) and \((x\circ y)\cdot z=(x\cdot z)\circ(y\cdot z)\) for all \(x,y,z\in G\), are proved.
0 references
