General implicativity in groupoids (Q1634690)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | General implicativity in groupoids |
scientific article |
Statements
General implicativity in groupoids (English)
0 references
18 December 2018
0 references
Summary: There are several equivalent axioms, which can be used to characterize the positive implicativity in BCK-algebras. In this paper, we investigate interrelationships among such axioms in a more general setting of groupoids, and several aspects regarding their differences in the theory of groupoids.
0 references
groupoid
0 references
\(d\)-algebra
0 references
BCK-algebra
0 references
positive implicativity
0 references
central implicativity
0 references
meet implicativity
0 references
quasi implicativity
0 references
leftoid
0 references
rightoid
0 references
selective groupoid
0 references
medial groupoid
0 references
