On BCK Algebras - Part III: Classes of Examples of Proper MV Algebras, BL Algebras and Divisible Bounded Residuated Lattices, with or without Condition (WNM)

摘要

In this paper, Part III, we shall illustrate by classes of finite examples the close connections between MV algebras, by one side, and BL algebras and divisible bounded residuated lattices, on the other side; we present classes of examples of proper MV algebras, BL algebras and divisible bounded residuated lattices, satisfying or not satisfying condition Weak Nilpotent Minimum (WNM). We use equivalent definitions of these algebras, as particular cases of reversed left-BCK algebras, as established in Part I.