A note on -algebras.
Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices
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.
Deductive systems of BCK-algebras
In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator of a deductive system is the the pseudocomplement of . These results are more general than that the similar results given by M. Kondo in [7].
Quasi-modal algebras
In this paper we introduce the class of Boolean algebras with an operator between the algebra and the set of ideals of the algebra. This is a generalization of the Boolean algebras with operators. We prove that there exists a duality between these algebras and the Boolean spaces with a certain relation. We also give some applications of this duality.
Some remarks on distributive semilattices
In this paper we shall give a survey of the most important characterizations of the notion of distributivity in semilattices with greatest element and we will present some new ones through annihilators and relative maximal filters. We shall also simplify the topological representation for distributive semilattices given in Celani S.A., Topological representation of distributive semilattices, Sci. Math. Japonicae online 8 (2003), 41–51, and show that the meet-relations are closed under composition....
-filters and -order-ideals in distributive quasicomplemented semilattices
We introduce some particular classes of filters and order-ideals in distributive semilattices, called -filters and -order-ideals, respectively. In particular, we study -filters and -order-ideals in distributive quasicomplemented semilattices. We also characterize the filters-congruence-cokernels in distributive quasicomplemented semilattices through -order-ideals.
Annihilator-preserving congruence relations in distributive nearlattices
In this note we give some new characterizations of distributivity of a nearlattice and we study annihilator-preserving congruence relations.
Page 1