Abstract In this paper, we have introduced anti fuzzy quasi-ideals, anti fuzzy bi-(generalized bi-) ideals and anti fuzzy left (right, two-sided) ideals in LA-semigroup. Further we have characterized an intra-regular LA-semigroup by the properties of their anti fuzzy left (right, two-sided) ideals, anti fuzzy bi(generalized bi-)ideals, anti fuzzy interior ideals and anti fuzzy quasi-ideals. Fur...

in this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. we study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. for strongly z-ideals, we analyze prime ideals using the concept of zero sets. moreover, it is proven that the intersection of all zero sets of a prime ideal of c(l),...

in this paper, we present the concepts of a fuzzy soft left (right) ideal and fuzzy soft interior ideal over an ordered semigroup s . some basic results of fuzzy soft left (right) ideals and fuzzy soft interior ideals are investigated and the supported examples are provided. different classes, regular, intra-regular, and simple ordered semigroups are   characterized by means of fuzzy sof...

the main objective of this study is to swing krull intersection theorem in primary decomposition of rings and modules to the primary decomposition of soft rings and soft modules. to fulfill this aim several notions like soft prime ideals, soft maximal ideals, soft primary ideals, and soft radical ideals are introduced for a soft ring over a given unitary commutative ring. consequently, the p...

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gröbner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite fields. We analyze the theoretical complexity of the algorithm and show its application in the formal analysis of a biological controller model.