In this paper, for any non-empty subset C of a pseudo BCI-algebra X, the concept of p-closure of C, denoted by C(pc), is introduced and some related properties are investigated. Applying this concept, a characterization of the minimal elements of X is given. It is proved that C(pc) is the least closed pseudo BCI-ideal of X containing C and K(X) for any ideal C of X...

The concept of a closure operator ∇ in an ADL R was introduced. If ∇R is the set of all ∇−invariant elements of R, then the concepts of ∇R−ideal, ∇R−prime ideal are introduced. The interrelations between ∇R−prime ideal and minimal prime ideal of R are derived. If B is the Birkhoff centre of R, then a sufficient condition is derived for a B−ideal to be a minimal prime ideal of R. Mathematics Sub...

A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...

There exists a feasible procedure to decide whether or not an arbitrary polynomial belongs to a given ideal in Z[x] if the ideal’s minimal basis is known. However, when this is not the case there is no feasible procedure to decide whether or not an arbitrary polynomial belongs to a given ideal. There already exists an effective procedure to find an ideal’s minimal basis, but it depends on solvi...