Journal of Algebraic Hyperstructures and Logical Algebras
https://jahla.hatef.ac.ir/
Journal of Algebraic Hyperstructures and Logical Algebrasendaily1Wed, 01 Nov 2023 00:00:00 +0330Wed, 01 Nov 2023 00:00:00 +0330On L-fuzzy approximation operators and L-fuzzy relations on residuated lattices
https://jahla.hatef.ac.ir/article_180761.html
We consider properties of L-fuzzy relations and L-normal operators for a residuated lattice L in detail and show that the class RL(U) of all L-fuzzy relations on U and the class NL(U) of all L-normal operators are residuated lattices and they are isomorphic as lattices. Moreover, we prove that for any L-normal operators F, it is reflexive (or transitive) if and only if the L-fuzzy relation RF induced by F is reflexive (or transitive) respectively.L-fuzzy algebraic substructure
https://jahla.hatef.ac.ir/article_184655.html
This article aims to provide a method for defining L-fuzzy algebraic substructures on general algebras. Concretely, the&nbsp; properties of L-fuzzy sets are first reviewed, and their representations are then provided. Next, algebraic substructures&nbsp; are generalised as the closure systems on the power set of the algebra, and the properties of the prime and maximal elements in the above closure system are investigated. Based on these facts, L-fuzzy algebraic substructures with respect to the closure system are defined and studied. Two equivalence characterisations of the sup property of the ordered set L are provided using L-fuzzy substructures. Similarly, some properties of L-fuzzy prime and maximal substructures with respect to the closure system are discussed. Finally, to demonstrate the broad applicability of the theory of L-fuzzy&nbsp; algebraic substructures, the theory is applied to some specific algebraic structures, such as groups and pseudo MV-algebras.Modal operators on BCK-algebras
https://jahla.hatef.ac.ir/article_178610.html
In this paper, modal operators on BCK-algebras, especially BCK-algebras with condition (S) are introduced and several properties and characterizations of them are investigated. Also, it is investigated under what conditions these modal&nbsp; operators form a lattice. Furthermore, some special modal operators are introduced and their properties and&nbsp; characterizations of them are obtained, especially in some classes of BCK-algebras such as positive implicative BCK- algebras.Integral and obstinate prefilters of hyper EQ-algebras
https://jahla.hatef.ac.ir/article_183210.html
The main goal of this paper is to introduce integral hyper EQ-algebras, integral (pre)filters and obstinate (pre)filters of hyper EQ-algebras. In the following, some characterizations of these (pre)filters in hyper EQ-algebras are investigated and it is proved that the quotient hyper EQ-algebras induced by a filter F is an integral hyper EQ-algebra if and only if F is an integral filter. Moreover, the concept obstinate (pre)filter in hyper EQ-algebras is introduced and some related properties are provided. Finally, the relationship among obstinate (pre)filters and some type of other (pre)filters such integral, maximal, (positive) implicative and fantastic (pre)filters in hyper EQ-algebras are studied.Quotient bipolar fuzzy soft sets of hypervector spaces and bipolar fuzzy soft sets of quotient hypervector spaces
https://jahla.hatef.ac.ir/article_183323.html
In this paper, two related quotient structures are investigated utilizing the concept of coset. At first, a new hypervector space F/V = (F/V,\circ,\circledcirc,K) is created, which is composed of all cosets of a bipolar fuzzy soft set (F;A) over a hypervector space V . Then it will be shown that dim F/V = dim V/W, where the quotient hypervector space V/W includes all cosets of an especial subhyperspace W of V. Also, three bipolar fuzzy soft sets over the quotient hypervector space V/W are presented and in this way some new bipolar fuzzy soft hypervector spaces are defined.Ideals of roughness in L-algebras
https://jahla.hatef.ac.ir/article_184525.html
Rough is an exceptional mathematical tool for effectively analyzing and addressing the complexities of vague action descriptions in decision problems. This paper explores the concept of an L-algebra, which leads to the introduction of&nbsp; lower and upper approximations. The properties of these approximations are also discussed and elucidated. Furthermore, it is proven that the lower and upper approximations serve as interior and closure operators, respectively. Additionally, by employing A-lower and A-upper approximations, this paper presents and examines conditions for a nonempty&nbsp; subset to be definable. Furthermore, we investigated the circumstances under which the A-lower and A-upper approximations can be rough ideals. Finally, we define an operation &lrm;" --&gt;"&lrm; on the set of all upper approximations of L&nbsp; &lrm;and &lrm;prove &lrm;that &lrm;it &lrm;is &lrm;made &lrm;an &lrm;&lrm;L-algebra.&nbsp;An algebraic study of LB-valued general fuzzy automata: On the concept of the layers
https://jahla.hatef.ac.ir/article_185733.html
The present study aims at introducing a new concept of layer of LB-valued general fuzzy automata (LB-valued GFA)&nbsp; where B is regarded as a set of propositions about the GFA, in which its underlying structure has been a lattice-ordered&nbsp; monoid. In general, it demonstrates that the layer plays a key role in the algebraic study of LB-valued GFA by&nbsp; characterizing the concepts of subautomata and separated subautomata of an LB-valued GFA in terms of its layers. In&nbsp; other words, it highlights that every LB-valued general fuzzy automaton has at least one strongly connected&nbsp; subautomaton. In specific, the characterization of some algebraic concepts such as subautomaton, retrievability and&nbsp; connectivity of an LB-valued GFA in terms of its layers is provided. In addition, it is shown that the maximal layer of a&nbsp; cyclic LB-valued general fuzzy automaton and minimal layer of a directable LB-valued general fuzzy automaton are&nbsp; unique. Finally, we investigate the different poset structures associated with an LB-valued general fuzzy automaton,&nbsp; demonstrating some of these posets as finite upper semilattice, and introducing the isotone Galois connections between&nbsp; some of the pairs of the posets/finite upper semilattices introduced.&nbsp;Strongly Regular Relations Derived from Fundamental Relation
https://jahla.hatef.ac.ir/article_186489.html
We introduce a new regular relation &delta; on a given group G and show that &delta; is a congurence relation on G, with respect to&nbsp; module the commutator subgroup of G. Then we show that the effect of this relation on the fundamental relation &beta; is equal to the fundamental relation &gamma;, and we conclude that, if &rho; is an arbitrary strongly regular relation on the hypergroup&nbsp; H, then the effect of &delta; on &rho;, results in a strongly regular relation on H such that its quotient is an abelian group.Zero Divisor Graphs Based on General Hyperringsā€ˇ
https://jahla.hatef.ac.ir/article_186491.html
&lrm;This paper introduces the concepts of reproduced general hyperring and valued-orderable general hyperring and investigates some properties of these classes of general hyperrings&lrm;. &lrm;It presents the notions of&lrm; &lrm;zero divisors and zero&nbsp; divisor graphs are founded on the absorbing elements of general hyperrings&lrm;. &lrm;General hyperrings can have more than one zeroing element&lrm;, &lrm;and therefore&lrm;, &lrm;based on the zeroing elements&lrm;, &lrm;multiple zero divisors can be obtained&lrm;. &lrm;In this study&lrm;, &lrm;we&nbsp; discuss the isomorphism of zero divisor graphs based on the diversity of divisors of zero divisors&lrm;. &lrm;The non-empty&nbsp; intersection of the set of absorbing elements and the hyperproduct of zero divisors of general hyperrings play a major&nbsp; role in the production of zero divisor graphs&lrm;. &lrm;Indeed it investigated a type classification of zero divisor graphs based on&nbsp; the finite general hyperrings&lrm;.&nbsp;&lrm;We discuss the finite reproduced general hyperrings&lrm;, &lrm;investigate their zero divisor graphs&lrm;, &lrm;and show that an infinite reproduced general hyperring can have a finite zero divisor graph&lrm;.