13 found
Order:
  1.  11
    On GE-Algebras.Ravikumar Bandaru, Arsham Borumand Saeid & Young Bae Jun - 2021 - Bulletin of the Section of Logic 50 (1):81-96.
    Hilbert algebras are important tools for certain investigations in intuitionistic logic and other non-classical logic and as a generalization of Hilbert algebra a new algebraic structure, called a GE-algebra, is introduced and studied its properties. We consider filters, upper sets and congruence kernels in a GE-algebra. We also characterize congruence kernels of transitive GE-algebras.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  2
    A General Model of Neutrosophic Ideals in BCK/BCI-Algebras Based on Neutrosophic Points.Hashem Bordbar, Rajab Ali Borzooei, Florentin Smarandache & Young Bae Jun - forthcoming - Bulletin of the Section of Logic.
    More general form of -neutrosophic ideal is introduced, and their properties are investigated. Relations between -neutrosophic ideal and )-neutrosophic ideal are discussed. Characterizations of )-neutrosophic ideal are discussed, and conditions for a neutrosophic set to be an )-neutrosophic ideal are displayed.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Falling Shadow Theory with Applications in Hoops.Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologani & Young Bae Jun - forthcoming - Bulletin of the Section of Logic.
    The falling shadow theory is applied to subhoops and filters in hoops. The notions of falling fuzzy subhoops and falling fuzzy filters in hoops are introduced, and several properties are investigated. Relationship between falling fuzzy subhoops and falling fuzzy filters are discussed, and conditions for a falling fuzzy subhoop to be a falling fuzzy filter are provided. Also conditions for a falling shadow of a random set to be a falling fuzzy filer are displayed.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Soju Filters in Hoop Algebras.Rajab Ali Borzooei, Gholamreza Rezaei, Mona Aaly Kologhani & Young Bae Jun - forthcoming - Bulletin of the Section of Logic.
    The notions of soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Soju Filters in Hoop Algebras.Rajab Ali Borzooei, Gholam Reza Rezaei, Mona Aaly Kologhani & Young Bae Jun - 2021 - Bulletin of the Section of Logic 50 (1):97-123.
    The notions of soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  12
    Commutative Energetic Subsets of BCK-Algebras.Young Bae Jun, Eun Hwan Roh & Seok Zun Song - 2016 - Bulletin of the Section of Logic 45 (1).
    The notions of a C-energetic subset and permeable C-value in BCK-algebras are introduced, and related properties are investigated. Conditions for an element t in [0, 1] to be an permeable C-value are provided. Also conditions for a subset to be a C-energetic subset are discussed. We decompose BCK-algebra by a partition which consists of a C-energetic subset and a commutative ideal.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  3
    Complex Fuzzy Sets with Application in BCK/BCI-Algebras.Young Bae Jun & Xiao Long Xin - 2019 - Bulletin of the Section of Logic 48 (3):173-185.
    As a generation of fuzzy set, the notion of complex fuzzy set which is an innovative concept is introduced by Ramot, Milo, Friedman and Kandel. The purpose of this article is to apply complex fuzzy set to BCK/BCI-algebras. The notions of a complex subalgebra and a complex left reduced ideal in a BCK/BCI- algebra are introduced, and related properties are investigated. Characterizations of a complex subalgebra are provided, and the homomorphic image of a complex subalgebra and a complex left reduced (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Inf-Hesitant Fuzzy Ideals in BCK/BCI-Algebras.Young Bae Jun & Seok-Zun Song - 2020 - Bulletin of the Section of Logic 49 (1).
    Based on the hesitant fuzzy set theory which is introduced by Torra in the paper [12], the notions of Inf-hesitant fuzzy subalgebras, Inf-hesitant fuzzy ideals and Inf-hesitant fuzzy p-ideals in BCK/BCI-algebras are introduced, and their relations and properties are investigated. Characterizations of an Inf-hesitant fuzzy subalgebras, an Inf-hesitant fuzzy ideals and an Inf-hesitant fuzzy p-ideal are considered. Using the notion of BCK-parts, an Inf-hesitant fuzzy ideal is constructed. Conditions for an Inf-hesitant fuzzy ideal to be an Inf-hesitant fuzzy p-ideal are (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  24
    Int-Soft Ideals of Pseudo MV-Algebras.Young Bae Jun, Seok-Zun Song & Hashem Bordbar - 2018 - Bulletin of the Section of Logic 47 (1):1-14.
    The notion of int-soft ideal in a pseudo MV -algebra is introduced, and related properties are investigated. Conditions for a soft set to be an int-soft ideal are provided. Characterizations of int-soft ideal are considered. The extension property for implicative int-soft ideal is established.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  3
    Length Neutrosophic Subalgebras of BCK=BCI-Algebras.Young Bae Jun, Madad Khan, Florentin Smarandache & Seok-Zun Song - 2020 - Bulletin of the Section of Logic 49 (4):377-400.
    Given i, j, k ∈ {1,2,3,4}, the notion of -length neutrosophic subalgebras in BCK=BCI-algebras is introduced, and their properties are investigated. Characterizations of length neutrosophic subalgebras are discussed by using level sets of interval neutrosophic sets. Conditions for level sets of interval neutrosophic sets to be subalgebras are provided.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  39
    New Types of Hyper MV-Deductive Systems in Hyper MV-Algebras.Young Bae Jun, Min Su Kang & Hee Sik Kim - 2010 - Mathematical Logic Quarterly 56 (4):400-405.
    The notions of a hyper MV-deductive system, a -hyper MV-deductive system, a - hyper MV-deductive system, a -hyper MV-deductive system, a -hyper MV-deductive system and a -hyper MV-deductive system are introduced, and then their relations are investigated.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  57
    Soft Ordered Semigroups.Young Bae Jun, Kyoung Ja Lee & Asghar Khan - 2010 - Mathematical Logic Quarterly 56 (1):42-50.
    Molodtsov introduced 1999 the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to ordered semigroups. The notions of soft ordered semigroup, soft ordered subsemigroup, soft left ideal, and left idealistic soft ordered semigroup are introduced, and various related properties are investigated.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Positive Implicative Soju Ideals in BCK-Algebras.Xiao Long Xin, Rajab Ali Borzooei & Young Bae Jun - 2019 - Bulletin of the Section of Logic 48 (1).
    The notion of positive implicative soju ideal in BCK-algebra is introduced, and several properties are investigated. Relations between soju ideal and positive implicative soju ideal are considered, and characterizations of positive implicative soju ideal are established. Finally, extension property for positive implicative soju ideal is constructed.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark