Algebraic Hyperstructures and Logical Algebras

Journal Information

Publisher:

Website:  jahla.hatef.ac.ir

Number of Issues: 1

Number of Articles: 9

Update date:  2020/01/29

Journal Archive

Current Issue

What are pseudo EMV-algebras?

A Dvureˇcenskij; Omid Zahiri

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 1-20
DOI: 10.29252/hatef.jahla.1.1.1

In the paper, we present EMV-algebras as a common generalization of MV-algebras and generalized Boolean algebras where a top element is not assumed a priori. In addition, we present a non-commutative generalization of EMV-algebras, pseudo MV-algebras and of generalized Boolean algebras. We present main representation results showing a very close connection of pseudo EMValgebra with pseudo MV-algebras, and we give a categorical representation of the category o pseudo EMValgebras without top element. We study also states as analogs of finitely additive states, their topological properties, and we present an integral representation of states by σ-additive probability measures. The paper is a survey over papers [13]{[19].

Fundamental relations in Hv-structures. The ’Judging from the results’ proof

T Vougiouklis

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 21-36
DOI: 10.29252/hatef.jahla.1.1.2

The largest class of hyperstructures is the one which satisfy the weak axioms. These are called Hv-structures introduced in 1990 and they proved to have a lot of applications on several sciences. The main tool in the study of Hv-structures is the ’fundamental structure’ which is based on the ’fundamental relations’. These relations connect the hyperstructures with the corresponding classical structures. One cannot find the fundamental classes in an analytic way since they depend on the results of hyperoperations used. In this paper we focus on the fact that the fundamental classes depend on the results which gives new proofs and a lot of new important, for applications, large classes of hyperstructures.

Multipolar fuzzy hyper BCK-ideals of hyper BCK-algebras

Young Bae Jun

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 37-47
DOI: 10.29252/hatef.jahla.1.1.3

In this paper, we apply m-polar fuzzy set to hyper BCKalgebra. We introduce the notions of k-polar fuzzy hyper BCK-ideal, k-polar fuzzy weak hyper BCK-ideal, k-polar fuzzy s-weak hyper BCK-ideal, k-polar fuzzy strong hyper BCK-ideal and k-polar fuzzy reflexive hyper BCKideal, and investigate related properties and their relations. We discuss k-polar fuzzy (weak, s-weak, strong, reflexive) hyper BCK-ideal in relation to k-polar level set

Sustainable goals in combating human trafficking: Analysis by mathematics of uncertainty

J. N Mordeson; S Mathew

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 49-59
DOI: 10.29252/hatef.jahla.1.1.4

We use mathematics of uncertainty to analyze the relationship between the sustainable development goals and human trafficking. This comes about naturally due to the use of multiplication in the determination of metrics in scoring categories by the Stakeholder Forum. We develop a method for ranking the members of the Organization for Economic Cooperation and Development in their achievement of the sustainable development goals that are pertinent to trafficking in humans. This method includes linear equations involving ten of the SDGs. SGD 5 (Gender Equality), 8 (Decent Work and Economic Growth), and 16 (Peace, Justice, and Strong Institutions) carry the most weight in determining these rankings. We found that Denmark, Finland, Iceland, and Sweden rank thehighest in achieving the sustainable development goals pertinent to human trafficking. We discuss how our methods can be placed in a setting of fuzzy hyperstructures.

Results on hoops

R.A Borzooei; Mona Aaly

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 61-77
DOI: 10.29252/hatef.jahla.1.1.5

In this paper, by considering the notion of hoop, were introduced by Bosbach in [7, 8] under the name of complementary semigroups, we show that there are relations among hoops and some of other logical algebras such as residuated lattices, MT L-algebras, BL-algebras, MV-algebras, BCK-algebras, equality algebras, EQ-algebras, R0-algebras, Hilbert algebras, Heyting algebras, Hertz algebras, lattice implication algebras and fuzzy implication algebras. The aim of this paper is to find that under what conditions hoops are equivalent to these logical algebras.

The category of hyper residuated lattices

Omid Zahiri

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 79-93
DOI: 10.29252/hatef.jahla.1.1.6

In this paper, first we consider homomorphisms and also strong homomorphisms between hyper residuated lattices, and their properties are presented. Then we use strong homomorphisms to introduce the category of hyper residuated lattices. We show that this category is neither complete but not cocomplete. Moreover, we find some conditions under which the equalizers and pullbacks exist. Finally, we verify subdirectly irreducible hyper residuated lattices and attempt to construct a hyper residuated lattice from a residuated lattice.

Commutative neutrosophic quadruple ideals of neutrosophic quadruple BCK-algebras

Mohammad Mohseni Takallo; Young Bae Jun

Algebraic Hyperstructures and Logical Algebras, Volume 1, Issue 1, Pages 95-105
DOI: 10.29252/hatef.jahla.1.1.7

Commutative neutrosophic quadruple ideals and BCKalgebras are discussed, and related properties are investigated. Conditions for the neutrosophic quadruple BCKalgebra to be commutative are considered. Given subsets A and B of a neutrosophic quadruple BCK-algebra, conditions for the set NQ(A; B) to be a commutative ideal of a neutrosophic quadruple BCK-algebra are provided.

Keyword Cloud