𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Boolean representation of bounded BCK-algebras

✍ Scribed by Joan Gispert; Antoni Torrens

Book ID
106169167
Publisher
Springer
Year
2007
Tongue
English
Weight
421 KB
Volume
12
Category
Article
ISSN
1432-7643

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Bounded BCK-algebras and their generated
Bounded BCK-algebras and their generated variety
✍ 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