A new approach to globalization of inexact Newton methods


W.A. Dudek




he new characterization of ideals in BCC-algebras is given. A construction of a congruence having a given ideal as its kernel is presented and it is proved that in any variety of BCC-algebras all congruences are uniquely determined by such ideals.