The poset structure of positive implicative BCK-algebras (Q1338953)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The poset structure of positive implicative BCK-algebras |
scientific article |
Statements
The poset structure of positive implicative BCK-algebras (English)
0 references
25 April 1995
0 references
The author introduces a new partial ordering on a BCK-algebra. In the case of a positive implicative BCK-algebra, this new partial ordering induces an implicative BCK-algebra structure. It is shown that for a positive implicative BCK-algebra, the new ordering together with the usual BCK-algebra ordering determine the BCK-algebra structure.
0 references
partial ordering
0 references
BCK-algebra
0 references
implicative BCK-algebra
0 references
