Abstract
In this paper, the notions of ideals in NBCK-algebras are presented and some properties of such ideals are analyzed. Essentially, our approach is to define NBCK-algebras of all cosets by considering an operation on the set of all cosets defined via ideals. Afterwards, our aim is to study ideal theorems on NBCK-algebras.