Class of Sheffer stroke BCK-algebras
Makaleler > Tam Makale · 2022
Yazarlar: Tahsin ÖNER, Tugce Kalkan, Arsham Borumand Saeid
Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică, SCI Expanded İndekslerine Giren Dergi, Uluslararası, Wos, 2022, cilt 30, ss 247-269
Özet
Abstract In this paper, Sheffer stroke BCK-algebra is defined and its features are investigated. It is indicated that the axioms of a Sheffer stroke BCK-algebra are independent. The relationship between a Sheffer stroke BCK-algebra and a BCK-algebra is stated. After describing a commutative, an implicative and an involutory Sheffer stroke BCK-algebras, some of important properties are proved. The relationship of this structures is demonstrated. A Sheffer stroke BCK-algebra with condition (S) is described and the connection with other structures is shown. Finally, it is proved that for a Sheffer stroke BCK-algebra to be a Boolean lattice, it must be an implicative Sheffer stroke BCK-algebra.