In order to investigate a many valued logical system whose proportional value is given in a lattice, in 1993 Y. Xu [12] first established the lattice implication algebra by combining lattice and implication algebra, and explored many useful structures. The ideal theory serves a vital function for the development of lattice implication algebras. Y. Xu, Y.B. Jun and E.H. Roh [6] introduced the no...

Let 9t and © be commutative rings such that © contains, and has the same identity element as, 9Î. If p and $ are prime ideals in SK and © respectively such that ^P\9t = p then we shall say that $ lies over, or contracts to, p. If over every prime ideal in dt there lies a prime ideal in ©, we shall say that the "lying-over" theorem holds for the pair of rings 9Î and ©. Suppose now that q and p a...

Double Boolean algebras are algebras (D,u,t, , ,⊥,>) of type (2, 2, 1, 1, 0, 0). They have been introduced to capture the equational theory of the algebra of protoconcepts. A filter (resp. an ideal) of a double Boolean algebra D is an upper set F (resp. down set I) closed under u (resp. t). A filter F is called primary if F 6= ∅ and for all x ∈ D we have x ∈ F or x ∈ F . In this note we prove t...

In this paper, we first introduce the concepts of weakly prime and weakly quasi-prime fuzzy left ideals of an ordered semigroup S. Furthermore, we give some characterizations of weakly prime and weakly quasi-prime fuzzy left ideals of an ordered semigroup S by the ordered fuzzy points and fuzzy subsets of S. Keywords—Ordered semigroup; ordered fuzzy point; weakly prime fuzzy left ideal; weakly ...

We consider the intuitionistic fuzzification of the concept of prime ideals in commutative BCK-algebras, and investigate some of their properties. We show that if P is a prime ideal of commutative BCK-algebra X iff ∼ P = 〈XP , − XP 〉 is an intuitionistic fuzzy prime ideal of X. We also prove that An IFS A = 〈μA, λA〉 of commutative BCK-algebra X is an intuitionistic fuzzy prime ideal of X if and...

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),...

1. Results. Scattered results about countably2 generated ideals in C(X) are established in [2] and [4] : Op is countably generated if and only if pEX and p has a countable base of neighborhoods; Op is both prime and countably generated if and only if Mp is principal, and if and only if pEX and p is isolated; no lower prime ideal is countably generated. We generalize these as follows: if Mp is c...

In the study of hereditary Noetherian rings, it is clear that hereditary Noetherian prime rings will play a central role (see, for example, [12]). Here we study the (two-sided) ideals of an hereditary Xoetherian prime ring and, as a consequence, ascertain the structure of factor rings and torsion modules. The torsion theory represents a generalization of similar results about Dedekind prime rin...

We recall that a ring R is called near pseudo-valuation ring if every minimal prime ideal is a strongly prime ideal. Let R be a commutative ring, σ an automorphism of R and δ a σderivation of R. We recall that a prime ideal P of R is δ-divided if it is comparable (under inclusion) to every σ-invariant and δ-invariant ideal I (i.e. σ(I) ⊆ I and δ(I) ⊆ I) of R. A ring R is called a δ-divided ring...

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),...