Class of Sheffer stroke BCK-algebras
Tahsin Öner, Tugce Kalkan, Arsham Borumand Saeid
Abstract
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.
Topics & Concepts
MathematicsAxiomAlgebra over a fieldCommutative propertyBoolean algebraDiscrete mathematicsPure mathematicsGeometryAdvanced Algebra and LogicFuzzy and Soft Set TheoryFuzzy Logic and Control Systems