Generalized rough sets applied to BCK/BCI-algebras
Young Bae Jun, Eun Hwan Roh, Seok-Zun Song · Discussiones Mathematicae - General Algebra and Applications · 2021
The concept of a (strong) set-valued BCK/BCI-morphism in BCK/BCIalgebras is considered, and several properties are investigated. Conditions for a set-valued mapping to be a set-valued BCK/BCI-morphism are given. Using the concept of generalized approximation space, generalized rough subalgebra (ideal) in BCK/BCI-algebras are introduced, and investigate their properties. Using the concept of generalized approximation space and ideal of BCK/bCI-algebra, another type of generalized lower and upper approximations based on the ideal is considered, and then several properties are investigated.