Regular ideals in autometrized algebras
In this paper, we study relationships between among (fuzzy) Boolean ideals, (fuzzy) Gödel ideals, (fuzzy) implicative filters and (fuzzy) Boolean filters in BL-algebras. In [9], there is an example which shows that a Gödel ideal may not be a Boolean ideal, we show this example is not true and in the following we prove that the notions of (fuzzy) Gödel ideals and (fuzzy) Boolean ideals in BL-algebras coincide.
The aim of this paper is to present relations between Goldie, hollow and Kurosh-Ore dimensions of semimodular lattices. Relations between Goldie and Kurosh-Ore dimensions of modular lattices were studied by Grzeszczuk, Okiński and Puczyłowski.
In this paper we shall study a notion of relative annihilator-preserving congruence relation and relative annihilator-preserving homomorphism in the class of bounded distributive semilattices. We shall give a topological characterization of this class of semilattice homomorphisms. We shall prove that the semilattice congruences that are associated with filters are exactly the relative annihilator-preserving congruence relations.
We introduce the notion of relative co-annihilator in lattice equality algebras and investigate some important properties of it. Then, we obtain some interesting relations among -irreducible filters, positive implicative filters, prime filters and relative co-annihilators. Given a lattice equality algebra and a filter of , we define the set of all -involutive filters of and show that by defining some operations on it, it makes a BL-algebra.