Journal of Algebraic Hyperstructures and Logical Algebras
Volume:1 Issue: 4, Autumn 2020

The lattices of fractions were introduced by Brezuleanu and Diaconescu in 1969. They used this concept in order to construct a Grothendieck - style duality for the category D_{01} of bounded distributive lattices. Then the lattices of fractions are studied in connection with other themes in lattice theory: lattices schemas, localization of bounded distributive lattices, sheaf representations of normal lattices,etc. This paper continues this research vein. We relate the lattices of fractions to flat lattice morphisms, patch and flat topologies on the spectra of bounded distributive lattices, conormal and Stone lattices, etc. We define the flat morphisms of D_{01} in terms of the residuation operation existing in the frames of lattice ideals. We study how the lattices of fractions preserve the flatness property of morphisms. Two characterization theorems of flat and patch topologies are proved. The lattices of fractions are used for obtaining new characterizations of conormal and Stone lattices.

In this paper, the notion of mutiplicative derivation, pseudo implicative derivation and implicative derivation on a bounded commutative residuated lattice are presented with some useful examples. We generalized these notions of derivation by introducing (f, g)-multiplicative derivation, (f, g)-pseudo implicative derivation and (f, g)-implicative derivation, and discussed some related properties; the conditions for (f, g)-multiplicative derivation, (f, g)-pseudo implicative derivation and (f, g)-implicative derivation to be monotone are provided. The set of fixed points is defined by using the notion of (f, g)-multiplicative derivation of bounded commutative residuated lattices. We also analyzed the link between different types of derivation.

Pseudo-hoop algebras are non-commutative generalizations of hoop-algebras, originally introduced by Bosbach. In this paper, we study ideals in pseudo-hoop algebras. We define congruences induced by ideals and construct the quotient structure. We show that there is a one-toone correspondence between the set of all normal ideals of a pseudo-hoop algebra A with condition (pDN) and the set of all congruences on A. Also, we prove that if A is a good pseudo-hoop algebra with pre-linear condition, then a normal ideal P of A is prime if and only if A/P is a pseudo-hoop chain. Furthermore, we analyse the relationship between ideals and filters of A.

In this paper, we introduce the concept of unionsoft (briefly, uni-soft) bi-hyperideal of an ordered semihypergroup. The notions of prime (strongly prime, semiprime, irreducible, and strongly irreducible) uni-soft bi-hyperideals in ordered semihypergroups are introduced and related properties are investigated. Numerous examples of these notions are given. The relationship between prime and strongly prime, irreducible and strongly irreducible uni-soft bi-hyperideals are considered and characterizations of these concepts are established. Regular and intra-regular ordered semihypergroups are characterized in terms of these notions.

In this paper, we obtain a reversible regular hypergroup from fuzzy sets by using a t-norm. Some properties of isomorphism of t-fuzzy graphs are considered and we show that a t-fuzzy subgroup can be associated with a t-fuzzy graph. Finally, using the group of automorphisms of fuzzy graph, we explain the relationship between the hypergroup and the t-fuzzy subgroup with the t-fuzzy graph.

In this paper, the concept of fuzzy implicative ideal in BL-algebras is introduced and several properties of it are stated. Using the concept of level subsets, some characterizations of fuzzy implicative ideals are proved. Also, it is proved that the concepts of fuzzy implicative ideal and fuzzy Boolean ideal in BL-algebras are coincide. Moreover, it is shown that a BL-algebra L is a Boolean algebra if and only if any fuzzy ideal of L is a fuzzy implicative ideal. Finally, it is proved that the homomorphic image and preimage of fuzzy implicative ideals are fuzzy implicative ideal.

In this paper, by considering the concepts of hypersemilattice and superlattice, we prove that any commutative and positive implicative hyper $K$-algebra, is a hypersemilattice. Moreover, we prove that any bounded commutative hyper $K$-algebra with some conditions, is a superlattice.