Kajian aljabar abstrak tidak hanya dalam struktur aljabar saja, namun kajian bidang aljabar sudah mulai dipadukan dengan bidang kajian lain seperti sistem logika proposisi yang diperkenalkan oleh Kiyoshi Iseki (1966). Kiyoshi Iseki mendefinisikan suatu kelas baru dalam aljabar yang dikenal sebagai BCK-aljabar. Selanjutnya, Joseph Neggers dan Hee Sik Kim (1992) memperluas aplikasi dan pemahaman tentang BCK-aljabar dengan cara memperluas strukturnya yang didefinisikan sebagai -aljabar. Penelitian ini bertujuan untuk membuktikan penerapan teori himpunan soft pada d-aljabar. Penelitian ini diawali dengan mempelajari definisi yang berkaitan dengan d-aljabar, edge d-aljabar, d-ideal, soft d-aljabar, soft edge d-aljabar, homomorfisma d-aljabar dan soft d-ideal. Selanjutnya, membuktikan sifat dasar soft edge d-aljabar, yaitu memenuhi salah satu aksioma BCK-aljabar yang mengakibatkan transitif soft edge d-aljabar merupakan BCK-aljabar. Lebih lanjut, membuktikan hubungan antara soft edge d-aljabar dan soft d-aljabar sehingga diperoleh hubungan antara transitif soft d-aljabar dan soft BCK-aljabar. Kesimpulan sementara dari penelitian ini adalah setiap transitif soft d-aljabar dapat dibangun suatu transitif soft edge d-aljabar dan setiap transitif soft edge d-aljabar dapat dibangun soft BCK-aljabar. Kemudian, berlakunya sifat homomorfisma pada soft d-aljabar. Diperoleh juga, pada soft d-aljabar terdapat beberapa macam ideal yaitu soft BCK-ideal, soft -ideal, soft -ideal, soft -ideal.