In this paper we shall give a topological representation for Hilbert algebras that extend the topological representation given by A. Diego in [4]. For implicative semilattices this representation gives a full duality. We shall also consider the representation for Boolean ring.
In this work we give a duality for many classes of lattice ordered algebras, as Integral Commutative Distributive Residuated Lattices MTL-algebras, IMTL-algebras and MV-algebras (see page 604). These dualities are obtained by restricting the duality given by the second author for DLFI-algebras by means of Priestley spaces with ternary relations (see [2]). We translate the equations that define some known subvarieties of DLFI-algebras to relational conditions in the associated DLFI-space.
In this paper we introduce a special kind of ordered topological spaces, called Hilbert spaces. We prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations. We restrict this result to give a duality for the category of Hilbert algebras with homomorphisms. We apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are...
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.
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].
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.
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....
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.
In this note we give some new characterizations of distributivity of a nearlattice and we study annihilator-preserving congruence relations.
Page 1