In this thesis, basic definitions and concepts about Sheffer stroke and BM-algebra are given, Sheffer stroke BM-algebra is defined and some basic features are given. The sheffer stroke BM-algebra axiom system has been shown to be independent. By defining the concepts of a Sheffer stroke B-algebra, a Sheffer stroke Coxeter algebra, and a 0-commutative Sheffer stroke B-algebra, the relationships between these logical structures and the Sheffer stroke BM-algebra are demonstrated. Keywords: BM-algebra, Sheffer stroke, BM-algebra, Sheffer stroke B-algebra, Sheffer stroke Coxeter algebra, 0-commute Sheffer stroke B-algebra.

Bu tezde Sheffer stroke ve BM-cebiri hakkında temel tanımlar ve kavramlar verilerek, Sheffer stroke BM-cebiri tanımlandı ve bazı temel özellikleri verildi. Sheffer stroke BM-cebiri aksiyom sisteminin bağımsız olduğu gösterildi. Bir Sheffer stroke B-cebiri, bir Sheffer stroke Coxeter cebiri ve bir 0-değişmeli Sheffer stroke B-cebiri kavramları tanımlanarak, bu lojiksel yapılar ile Sheffer stroke BM-cebiri arasında ilişkiler gösterildi. Anahtar Sözcükler: BM-cebiri, Sheffer stroke, BM-cebiri, Sheffer stroke B-cebiri, Sheffer stroke Coxeter cebiri, 0-değişmeli Sheffer stroke B-cebiri.