Interior BCK/BCI-Algebras

Abstract

The notions of interior BCK/BCI-algebras, positive implicative interior BCK-algebras, (weak) interior ideals, positive implicative interior ideals, a positive implicative weak interior ideal of type 1, type 2, and type 3 are introduced, and related properties are investigated. A mapping is provided to the set of all involutions of a bounded BCK-algebra in relation to any interior BCK-algebra so that the set of all involutions of a bounded BCK-algebra can be an interior BCK-algebra. The relationship between interior ideals, weak interior ideals, and positive implicative interior ideals is established. The conditions under which a weak interior ideal can change to an interior ideal are founded. The conditions for an interior ideal to be a positive implicative interior ideal are provided. The scalability fora positive implicative interior ideal is discussed. The relationship between type 1, type 2, and type 3 on positive implicative weak interior ideals are investigated. The relationship between weak interior ideal and positive implicative weak interior ideal of type 1, type 2, and type 3 are established. (c) 2021 The Authors. Published by Atlantis Press B.V. This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).