The poset structure of positive implicative BCK-algebras
| ISSN: |
1420-8911
|
|---|---|
| Source: |
Springer Online Journal Archives 1860-2000
|
| Topics: |
Mathematics
|
| Notes: |
Abstract Many algebraic structures can be characterized in terms of some order structure. Among them are lattices, semilattices, boolean algebras, and semi-boolean algebras. In this paper we show that a pBCK-algebra can be characterized in terms of two order relations, one of which also makes it an implicative BCK-algebra. One of these orders is the well-known order for the larger class of BCK-algebras; the other one is a new order we introduce here.
|
| Type of Medium: |
Electronic Resource
|
| URL: |