An interpretation on Sheffer stroke reduction of some algebraic structures

摘要

In this paper, we obtain Sheffer stroke reduction for some algebraic structures such as BCK-algebras, MV-algebras, Wajsberg algebras and etc. by means of representing all operators in these structures with only Sheffer stroke basic algebras. We also examine some equalities and inequalities which are used in these constructions. In addition, we examine whether there is a transition from one of these structures to another by the help of this reduction.