Bu tez beş bölümden oluşmaktadır. Birinci bölümde tez konusu tanıtılarak, konu ile ilgili yapılan çalışmalar hakkında bilgi verilmiştir. İkinci bölümde, tezin okunabilirliğini kolaylaştırmak adına bazı temel tanım ve kavramlar sunulmuştur. Üçüncü bölümde, Sheffer stroke BCI cebirleri tanımlanarak, aksiyomlarının bağımsızlığı, süzgeçleri, bölüm grupları, homomorfizmaları, çekirdeği yardımıyla bu cebir yapıları üzerinde temel izomorfizma teoremlerinin ispatları sunulmuştur. Tezin dördüncü bölümünde, Sheffer stroke BCK cebirlerinin tanımı verilerek, aksiyom sisteminin bağımsızlığı gösterilmiştir. Ayrıca, değişmeli, implicative ve involutory Sheffer stroke BCK cebirleri tanımlanarak aralarındaki ilişkiler araştırılmıştır. Bir Sheffer stroke BCK cebirinin (anti) fuzzy alt kümesi, (anti) fuzzy ideali, (anti) fuzzy sub-implicative ideali, bir fuzzy kümenin tümleyeni ve kartezyen çarpımları inşa edilerek bu yapılar arasındaki ilişkiler gösterilmiştir. Tezin beşinci bölümünde, tez boyunca yapılan çalışmalar ve elde edilen sonuçlardan bahsedilmiştir.