@article { author = {Cornejo, J.M. and Sankappanavar, H.P.}, title = {Implication Zroupoids and Birkhoff Systems}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {1-12}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.1}, abstract = {An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal{I}$-zroupoid, for short) if $\mathbf{A}$ satisfies the identities: $(x \to y) \to z \approx [(z' \to x) \to (y \to z)']'$, where $x' : = x \to 0$, and $ 0'' \approx 0$. These algebras generalize De Morgan algebras and $\vee$-semilattices with zero. Let $\mathcal{I}$ denote the variety of implication zroupoids. The investigations into the structure of $\mathcal{I}$ and of the lattice of subvarieties of $\mathcal{I}$, begun in 2012, have continued in several papers (see the Bibliography at the end of the paper). The present paper is a sequel to that series of papers and is devoted to making further contributions to the theory of implication zroupoids. The main purpose of this paper is to prove that if $\mathbf{A}$ is an algebra in the variety $\mathcal{I}$, then the derived algebra $\mathbf{A}_{mj} := \langle A; \wedge, \vee  \rangle$, where $a \land b := (a \to b')'$ and $a \lor b := (a' \land b')'$, satisfies the Birkhoff's  identity (BR): $x \land (x \lor y) \approx x \lor (x \land y)$. As a consequence, the implication  zroupoids $\mathbf A$ whose derived algebras $\mathbf{A}_{mj}$ are Birkhoff systems are characterized. Another interesting consequence of the main result is that there are bisemigroups that are not bisemilattices but satisfy the Birkhoff's identity, which leads us naturally to define the variety of "Birkhoff bisemigroups'' as bisemigroups satisfying the Birkhoff identity, as a generalization of Birkhoff systems. The paper concludes with some open problems.}, keywords = {Implication zroupoid,symmetric implication zroupoid,bisemigroup,Birkhoff identity,Birkhoff system,implication semigroup,Birkhoff bisemigroup}, url = {https://jahla.hatef.ac.ir/article_130810.html}, eprint = {https://jahla.hatef.ac.ir/article_130810_54f16a4d1639a37455de773b217c6191.pdf} } @article { author = {Seo, Y. J. and Neggers, J. and Kim, H.S.}, title = {On block commutative groupoids}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {13-23}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.2}, abstract = {In this paper, we introduce the notion of a block commutativity in several groupoids, and show that the class of block commutative groupoids and the class of d/BCK-algebras are Smarandache disjoint. The block commutativity in linear/quadratic groupoids is investigated, and we prove that every group is a normal groupoid. Moreover, we discuss block n-commutative groupoids and block ranks. }, keywords = {Block commutative,d/BCK-algebra,Smarandache disjoint,block center,normal,block n-commutative,block rank}, url = {https://jahla.hatef.ac.ir/article_138516.html}, eprint = {https://jahla.hatef.ac.ir/article_138516_6ba221cd343204aad7fc9e9ba63b3ea5.pdf} } @article { author = {Ostadhadi-Dehkordi, S. and Shum, K.P.}, title = {The investigate of ΓUP-algebras}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {25-37}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.3}, abstract = {We first define a new concept, namely, the ΓUP-algebra. Then, we study and investigate the properties of its ΓUP-ideals and ΓUP-subalgebras. As a consequence, we construct a covariant functor between the ΓUP-category and the UP algebra-category. Some possible connections between these categories are also considered.}, keywords = {ΓUP-algebra,ΓUP-ideal,associated UP-algebras}, url = {https://jahla.hatef.ac.ir/article_139957.html}, eprint = {https://jahla.hatef.ac.ir/article_139957_74e866e68d6ec6b0aa67516eae4b3d7b.pdf} } @article { author = {Mosayebi Dorcheh, A.}, title = {On autosolvable and autonilpotent polygroups}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {39-49}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.4}, abstract = {Polygroups are another important class of hypergroups. The importance of polygroups is their connection to graphs, relations and Boolean algebras. In this paper, we study notions of autosolvable and autonilpotent polygroups by using the heart of a polygroup. This study introduces the concept of autosolvable and autonilpotent polygroups with respect to the automorphism of polygroups. We also prove that autonilpotent polygroups are autosolvable. }, keywords = {automorphism,autosolvable polygroup,autocommutator}, url = {https://jahla.hatef.ac.ir/article_140626.html}, eprint = {https://jahla.hatef.ac.ir/article_140626_791f115d3349d6067f6b34342b6aeb51.pdf} } @article { author = {Nganteu, C.T. and Kianpi, M. and Amassayoga, O.}, title = {Modal representation of coalgebras over local BL-algebras}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {51-62}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.5}, abstract = {We consider the category Coalg(∏) of ∏-coalgebras where ∏ is the endofunctor on the category of local BL-algebras and  L-morphisms which assigns to each local BL-algebra its quotient by its unique maximal filter and we characterize homomorphisms and subcoalgebras in Coalg(∏) . Moreover, we introduce local BL-frames based on local BL-algebras, and show that the category of local BL-frames is isomorphic to Coalg(∏).}, keywords = {Kripke frame,coalgebra,local BL-algebra}, url = {https://jahla.hatef.ac.ir/article_141745.html}, eprint = {https://jahla.hatef.ac.ir/article_141745_545d45b8753d536e59470f810393bb2e.pdf} } @article { author = {Khan, M. and Zeeshan, M. and Iqbal, S.}, title = {Neutrosophic soft metric matrices with applications in decision-making}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {63-81}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.6}, abstract = {In this paper, we introduce neutrosophic soft metric matrices and define some new operations on these matrices. Moreover, we develop an algorithm using neutrosophic soft metric matrices and apply it to a decision-making problem.}, keywords = {Soft set,neutrosophic set,neutrosophic soft set,neutrosophic soft metric matrices}, url = {https://jahla.hatef.ac.ir/article_136374.html}, eprint = {https://jahla.hatef.ac.ir/article_136374_b654141ce4eb49916fc616db4631a0c2.pdf} } @article { author = {Khan, M. and Mukhtar, A. and ZEESHAN, M.}, title = {Generalized fuzzy sets with complexities and applications in decision-making problems}, journal = {Journal of Algebraic Hyperstructures and Logical Algebras}, volume = {2}, number = {4}, pages = {83-108}, year = {2021}, publisher = {University of Hatef (Hatef College University)}, issn = {2676-6000}, eissn = {2676-6019}, doi = {10.52547/HATEF.JAHLA.2.4.7}, abstract = {All the prevailing theories based on FS and their modifications, inconsistency, and uncertainties are involved in the form of truth grade TG whose value is also in the form of real numbers and certain user information may be lost and the decision-maker is affected by this. The principle of a complex fuzzy set (CFS) is a valuable procedure to manage inconsistent and awkward information genuine life troubles. CFS gives the TG against the value which is taken from the set of attributes in the form of a complex number whose real and unreal parts are limited to the unit interval. In this paper, we discussed some operations and formulas of set theory for complex fuzzy sets. We established the basic results of complex fuzzy sets using bounded sum, bounded product, bounded difference, simple difference, Cartesian product, algebraic product, and algebraic sums. We discussed particular examples of these operations and results. Moreover, a multicriteria decision-making (MCDM) technique is explored based on the elaborated complex fuzzy dominance matrix by using the complex fuzzy information. The application has been effectively demonstrated with numerical examples.}, keywords = {Complex fuzzy sets,decision-making problems,complex fuzzy dominance matrix}, url = {https://jahla.hatef.ac.ir/article_138954.html}, eprint = {https://jahla.hatef.ac.ir/article_138954_c3b2009baa3a5ef2899ed6c2e36b2cca.pdf} }