Now showing items 1-2 of 2
PC-lattices: A Class of Bounded BCK-algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
In this paper, we define the notion of PC-lattice, as a generalization of finite positive implicative BCK-algebras with condition (S) and bounded commutative BCK-algebras. We investiate some results for Pc-lattices being ...
Positive Implicative Soju Ideals in BCK-Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)
The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations ...