Karakterisasi BCK-Aljabar Implikatif Berdasarkan 𝓝-Ideal Implikatif Neutrosofik