The poset structure of positive implicative BCK-algebras (Q1338953)
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: The poset structure of positive implicative BCK-algebras |
scientific article; zbMATH DE number 695411
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The poset structure of positive implicative BCK-algebras |
scientific article; zbMATH DE number 695411 |
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
