فهرست مطالب

Journal of Algebraic Hyperstructures and Logical Algebras
Volume:2 Issue: 1, Winter 2021

  • تاریخ انتشار: 1400/02/06
  • تعداد عناوین: 7
|
|
  • D. Busneag, D. Piciu *, M. Istrata Pages 1-16

    In this paper, we introduce the notions of Belluce lattice associated with a bounded $BCK$-algebra and reticulation of a bounded $BCK$-algebra. To do this, first, we define the operations  $curlywedge ,$ $curlyvee $ and $sqcup $ on $BCK$-algebras and we study some algebraic properties of them. Also, for a bounded $BCK$-algebra $A$ we define the Zariski topology on $ Spec(A)$ and the induced topology $tau _{A,Max(A)}$ on $Max(A)$. We prove $(Max(A),tau_{A,Max(A)})$ is a compact topological space if $A$ has Glivenko property. Using the open and the closed sets of $Max(A)$, we define a congruence relation on a bounded $BCK$-algebra $A$ and we show $L_{A}$, the quotient set, is a bounded distributive lattice. We call this lattice the Belluce lattice associated with $A.$ Finally, we show $(L_{A},p_{A})$ is a reticulation of $A$ (in the sense of Definition ref{d7}) and the lattices $L_{A}$ and $S_{A}$ are isomorphic.

    Keywords: Belluce lattice, $BCK$-algebra, prime spectrum, maximal spectrum, reticulation, bounded distributive lattice
  • Young Bae Jun *, Seok Zun Song Pages 17-31

    The notions of a crossing cubic ideal in a BCK/BCI-algebra, a closed crossing cubic ideal in a BCI-algebra, and a crossing cubic $circ$-subalgebra of a BCK-algebra with the condition (S) are introduced, and several properties are investigated. The relationship between them is established. Conditions for a crossing cubic structure to be a closed crossing cubic ideal are provided. Conditions under which crossing cubic ideals are closed are explored. Characterizations of crossing cubic ideals are discussed. The translation of crossing cubic subalgebras and crossing cubic ideals are studied. Conditions for the translation of a crossing cubic structure to be a crossing cubic subalgebra (ideal) are provided, and its characterization is established.

    Keywords: Crossing cubic $circ$-subalgebra, (closed) crossing cubic ideal, $0$-crossing cubic structure, translation
  • Kh. Abolpour *, M. M. Zahedi, Marzieh Shamsizadeh Pages 33-46

    The present paper is an attempt to suggest and scrutinize tense operators in the dynamic logic $textbf{B}$ which is regarded as a set of propositions about the general fuzzy automaton $ tilde{F} $, in which its underlying structure has been a bounded poset. Here, the operators $ T_{delta}, P_{delta}, H_{delta}$ and $ F_{delta} $ are proposed regardless of what propositional connectives the logic comprises. For this purpose, the axiomatization of universal quantifiers is applied as a starting point and these axioms are modified. In this study, firstly, we demonstrate that the operators can be identified as modal operators and the pairs $ (T_{delta},P_{delta}) $ are examined as the so-called dynamic pairs. In addition, constructions of these operators are attained in the corresponding algebra and in the following a transition frame is suggested. Besides, the problem of finding a transition frame is solved in the case when the tense operators are given. Specifically, this study shows that the tense algebra $ textbf{B} $ is representable in its Dedekind-MacNeille completion. Representation theorems for dynamic and tense algebra are explicated in details in the related given theorems.

    Keywords: Dynamic algebra, general fuzzy automata, tense algebra, modal, transition frame, representable
  • Sogol Niazian * Pages 47-67

    In this paper, we introduce the notion of hyper BI-algebra and investigate some properties of it. Also, we state and prove some theorems which determine the relationship among $R/ C/ D/ T$ and V-hyper BI-algebras under some conditions. Then we study the relation among hyper BI-algebra with some of other hyper logical algebras such as hyper BCI/BCK/K/B/BCC-algebras and show that under which condition these hyper structures coincide. In addition, we define hyper subalgebra and (weak) ideal of a hyper BI-algebra and obtain some results and the relation between them. Finally, we construct the quotient structure of hyper BI-algebra and examine the isomorphism theorems.

    Keywords: BI-algebra, hyper BI-algebra, hyper K-algebra, hyper BCK, BCI-algebra
  • Young Bae Jun *, Mohammad Mohseni Takallo Pages 69-81

    The notion of commutative MBJ-neutrosophic ideal is introduced, and several properties are investigated. Relations between MBJ-neutrosophic ideal and commutative MBJ-neutrosophic ideal are considered. Characterizations of commutative MBJ-neutrosophic ideal are discussed.

    Keywords: MBJ-neutrosophic set, commutative MBJ-neutrosophic ideal, MBJ-neutrosophic ideal
  • Batoul Ganji Saffar * Pages 83-98

    In this paper, we defined the concepts of fuzzy $n$-fold obstinate (pre)filter and maximal fuzzy (pre)filter of $EQ$-algebras and discussed the properties of them. We show that every maximal fuzzy (pre)filter of $mathcal{LomE}$ is normalized and takes only the values ${0, 1}$. Also we show that in good $EQ$-algebra, if $m$ is a normalized fuzzy (pre)filter of $mathcal{LomE}$, then $m$ is a fuzzy $n$-fold obstinate (pre)filter of $mathcal{LomE}$ if and only if every normalized fuzzy (pre)filter of quotient algebra $mathcal{LomE}/m$ is a fuzzy $n$-fold obstinate (pre)filter of $mathcal{LomE}/m$.
    Also, we verify relation between fuzzy obstinate $n$-fold (pre)filters and other fuzzy (pre)filters of $EQ$-algebras.

    Keywords: EQ-algebra, fuzzy n-fold (pre)filter, fuzzy n-fold obstinate (pre)filter, maximal fuzzy (pre)filter, normalized (pre)filters
  • Elahe Mohammadzadeh * Pages 99-112

    In this paper, we introduce and study, $zeta^alpha(P)$, the $alpha$-center of a polygroup $(P, cdot )$ with respect to an automorphism $alpha$. Then we associate to $P$ a graph $Gamma^alpha_{P}$, whose vertices are elements of $P setminus zeta^alpha(P)$ and $x$ connected to $y$ by an edge in case $x cdot y cdot omega neq y cdot x^alpha cdot omega $ or $y cdot x cdot omega neq x cdot y^alpha cdot omega$, where $omega $ is the heart of $P$. We obtain some basic properties of this graph. In particular, we prove that if $zeta^alpha(P) neq P$, then $dim(Gamma^alpha _{P})=2$. Moreover, we define a weak $alpha$-commutative polygroup to state that if $Gamma^alpha_{H} cong Gamma^beta_{K}$ and $H$ is a weak $alpha$-commutative, then $ K$ is a weak $beta $-commutative. Also, we show that if $H$ and $K$ are two polygroups such that $Gamma^alpha_{H} cong Gamma^beta_{K}$, then for some automorphisms $eta$ and $lambda$, $Gamma^eta_{H times A} cong Gamma^lambda_{K times B}$, where $A$ and $B$ are two weak commutative polygroups.

    Keywords: Polygroup, fundamental relation, fundamental group, $alpha$-graph