This main aim of this paper is to prove that in a direct commutative BCK-algebra an ideal I is nitely generated if and only if I is a principal ideal. This result generalizes the result obtained by E. Y. Deeba in [2]. We also give an answer to the question posed by E. Y. Deeba in [1]: for what class of BCK-algebras is every Noetherian algebra a principal ideal algebra ?

In this paper we shall give a characterization of D-algebras in terms of lattice ordered abelian groups. To make this paper self-contained we shall recall some notations from [4]. The symbols !; ^; _; serve as implication, conjunction, disjunction, and negation, respectively. By D we mean a set of connectives from the list above containing the implication connective !. By a D-formula we mean a formula built up in a usual way from an innite set of the propositional variables and (...) connectives from D. (shrink)