DIG-semigroups

MaRDI QIDQ2813453zbMATH OpenFDO

Authors Ravi Kumar Bandaru, A. Borumand Saeid

Publication date 24 June 2016

Published in Scientia. Series A: Mathematical Sciences. New Series (Search for Journal in Brave)

zbMATH Keywords

decompositiondeductive systemidealimplication groupoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)

Review text

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.

Recommendations

• On two classes of digroups
• A short basis for the variety of digroups.
• Distributive implication groupoids
• Generalized Digroups
• Congruences and ideals on left divisible involutory groupoids

Cited in

(3)

• On two classes of digroups
• scientific article; zbMATH DE number 4051901 (Why is no real title available?)
• Digital representation of semigroups and groups

This page was built for publication: DIG-semigroups

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