Bounded BCK-algebras and their generated
β
Joan Gispert; Antoni Torrens
π
Article
π
2007
π
John Wiley and Sons
π
English
β 170 KB
## Abstract In this paper we prove that the equational class generated by bounded BCKβalgebras is the variety generated by the class of finite simple bounded BCKβalgebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCKβalgebras is also a