Search

The neutrosophic set consists of three fuzzy sets called true membership function, false membership function and indeterminate membership function. MBJ-neutrosophic structure is a structure constructed using interval-valued fuzzy set instead of indeterminate membership function in the neutrosophic set. In general, the indeterminate part appears in a wide range. So instead of treating the indeterminate part as a single value, it is treated as an interval value, allowing a much more comprehensive processing. In an attempt to apply the MBJ-neutrosophic structure to ordered BCI-algebras, the notion of MBJ-neutrosophic (ordered) subalgebras is introduced and their properties are studied. The relationship between MBJ-neutrosophic subalgebra and MBJ-neutrosophic ordered subalgebra is established, and MBJ-neutrosophic ordered subalgebra is formed using (intuitionistic) fuzzy ordered subalgebra.

In order to apply neutrosophic set theory to ordered BCI-algebra, the notion of single valued neutrosophic ordered subalgebra is introduced and several properties are investigated. The conditions under which single valued neutrosophic level subsets become ordered subalgebras are explored. It is investigated when the T-neutrosophic q-set, I-neutrosophic q-set and F-neutrosophic q-set can be ordered subalgebras.

As a generalization of BE-algebras, the pseudo BE-algebra was introduced by Borzooei et al., and the notions of pseudo subalgebras and pseudo filters in pseudo BE-algebras were defined, and some related properties were investigated. In order to further study pseudo subalgebras and pseudo filters in pseudo BE-algebras, concepts of pseudo atom, atomic pseudo BE-algebra, and atomic pseudo filter are introduced and related studies are conducted. The conditions under which pseudo-filters can be created using a nonempty set, and the conditions under which non-unit elements can be pseudo-atoms are explored. Characterization of atomic pseudo BE-algebra is discussed, and conditions are provided under which pseudo subalgebra can be pseudo filters. The relationship between a set of pseudo atoms and a pseudo subalgebra is considered, and the conditions under which a pseudo filter can be atomic are found.

The scheme of rough sets is an effective procedure that handle ambiguous, inexact or uncertain information configuration. Rough set theory for algebraic structures like semigroups is a formal approximation space consisting of a universal set and an equivalence relation. This article achieves a new utilization of rough sets in the theory of semigroups via single valued neutrosophic (SVN) subsemigroups/ideals. The conceptions of an SVN (∈, ∈)-subsemigroup and an SVN (∈, ∈)-ideal in semigroups are introduced, and its properties are investigated. Special congruence relations induced by an SVN (∈, ∈)-ideal are introduced in semigroups. Using these notions, the lower and upper approximations, so called the Rq-lower approximation and the Rq-upper approximation for q ∈ {T, I, F} based on an SVN (∈, ∈)-ideal in semigroups are presented, and related characteristics are discussed. The notions of lower and upper subsemigroups/ideals, so called the Rq-lower subsemigroup/ideal and the Rq-upper subsemigroup/ideal for q ∈ {T, I, F}, are defined, and then the relationships between subsemigroups/ideals and Rq-lower (upper) subsemigroups/ideals are considered.

The notion of GE-algebra is introduced by Bandaru et al. as a generalization of Hilbert algebra. The consept of interior GE-algebra is introduced by Lee et al., and related properties are investigated. GE-filter study at GE-algebra using interior operator was conducted by Song et al. In this paper, various properties that belligerent interior GE-filter could perform were explored, and necessary conditions have been established for interior GE-filter to turn into belligerent interior GE-filter. As a result, the characterization of belligerent interior GE-filter was established.

Neutrosophy is introduced by F. Smarandache in 1980 which studies the origin, nature, and scope of neutralities, as well as their interactions with different ideational spectra. Neutrosophy considers a proposition, theory, event, concept, or entity, “A” in relation to its opposite, “Anti-A” and that which is not A, “Non-A”, and that which is neither “A” nor “Anti-A”, denoted by “Neut-A”. Neutrosophy is the basis of neutrosophic logic, neutrosophic probability, neutrosophic set, and neutrosophic statistics. In this article, we apply the notion of neutrosophic set theory to (positive implicative) ideals in BCK-algebras by using the concept of falling shadows. The notions of a positive implicative (∈, ∈)-neutrosophic ideal and a positive implicative falling neutrosophic ideal are introduced, and several properties are investigated. Characterizations of a positive implicative (∈, ∈)-neutrosophic ideal are considered, and relations between a positive implicative (∈, ∈)-neutrosophic ideal and an (∈, ∈)-neutrosophic ideal are discussed. Conditions for an (∈, ∈)-neutrosophic ideal to be a positive implicative (∈, ∈)-neutrosophic ideal are provided, and relations between a positive implicative (∈, ∈)-neutrosophic ideal, a falling neutrosophic ideal and a positive implicative falling neutrosophic ideal are studied. Conditions for a falling neutrosophic ideal to be positive implicative are provided.

The concept of an imploring interior GE-filter is introduced, and their properties are investigated. The relationship between an interior GE-filter and an imploring interior GE-filter are discussed. Example to show that any interior GE-filter is not an imploring interior GE-filter is provided. Conditions for an interior GE-filter to be an imploring interior GE-filter are given. Examples to show that an imploring interior GE-filter is independent to a belligerent interior GE-filter are provided. Conditions for an imploring interior GE-filter to be a belligerent interior GE-filter are given. The relationship between imploring interior GE-filter and prominent interior GE-filter are discussed. Example to show that any imploring interior GE-filter is not a prominent interior GE-filter is provided. Conditions for an imploring interior GE-filter to be a prominent interior GE-filter are given. Also, conditions under which an interior GE-filter larger than a given interior GE-filter can become an imploring interior GE-filter are considered.

The concept of a neutrosophic set, which is a generalization of an intuitionistic fuzzy set and a para consistent set etc., was introduced by F. Smarandache. Since then, it has been studied in various applications. In considering a generalization of the neutrosophic set, Mohseni Takallo et al. used the interval valued fuzzy set as the indeterminate membership function because interval valued fuzzy set is a generalization of a fuzzy set, and introduced the notion of MBJ-neutrosophic sets, and then they applied it to BCK/BCI-algebras. The aim of this paper is to apply the concept of MBJ-neutrosophic sets to a BE-algebra, which is a generalization of a BCK-algebra. The notions of MBJ-neutrosophic subalgebras and MBJ-neutrosophic filters of BE-algebras are introduced and related properties are investigated. The conditions under which the MBJ-neutrosophic set can be a MBJ-neutrosophic subalgebra/filter are searched. Characterizations of MBJ-neutrosophic subalgebras and MBJ-neutrosophic filters are considered. The relationship between an MBJ-neutrosophic subalgebra and an MBJ-neutrosophic filter is established.

The concept of Γα,β-BE-algebra is introduced as a generalization of a Γα-BE-algebra and a Γβ-BE-algebra and its properties are studied. We introduced the concepts of α,β-subalgebra and α,β-filter of a Γα,β-BE-algebra and discussed the relation between these two concepts. We provided conditions for an α,β-subalgebra to be an α,β-filter. We provided equivalent conditions for the formation of an α,β-filter from a nonempty subset of a Γα,β-BE-algebra. We introduced the concept of α,β-atomic Γα,β-BE-algebra and studied its properties. We introduced the concept of atomic α,β-filter a Γα,β-BE-algebra and gave the necessary and sufficient condition for an α,β-filter to be atomic.

The concept of a prominent interior GE-filter (of type 1 and type 2) is introduced, and their properties are investigated. The relationship between a prominent GE-filter and a prominent interior GE-filter and the relationship between an interior GE-filter and a prominent interior GE-filter are discussed. Examples to show that any interior GE-filter is not a prominent interior GE-filter and any prominent GE-filter is not a prominent interior GE-filter are provided. Conditions for an interior GE-filter to be a prominent interior GE-filter are given. Also, conditions under which an internal GE-filter larger than a given internal GE filter can become a prominent internal GE-filter are considered, and an example describing it is given. The relationship between a prominent interior GE-filter and a prominent interior GE-filter of type 1 is discussed.

In this paper, we define the notions of intuitionistic fuzzy filters and intuitionistic fuzzy implicative (positive implicative, fantastic) filters on hoops. Then we show that all intuitionistic fuzzy filters make a bounded distributive lattice. Also, by using intuitionistic fuzzy filters we introduce a relation on hoops and show that it is a congruence relation, then we prove that the algebraic structure made by it is a hoop. Finally, we investigate the conditions that quotient structure will be different algebras of logics such as Brouwerian semilattice, Heyting algebra and Wajesberg hoop.

The MBJ-neutrosophic set is applied to the implicative ideal of BCK-algebra to introduce the concept of implicative MBJ-neutrosophic ideal. Several properties are investigated. The relationship between implicative MBJ-neutrosophic ideal and each MBJ-neutrosophic subalgebra, (positive implicative, commutative) MBJ-neutrosophic ideal is established. Conditions for MBJ-neutrosophic subalgebra (resp., MBJ-neutrosophic ideal, positive implicative MBJ-neutrosophic ideal and commutative MBJ-neutrosophic ideal) to be implicative MBJ-neutrosophic ideal are provided. Characterizations of implicative MBJ-neutrosophic ideal are discussed.

The concept of a commutative soju ideal in a BCK-algebra and a BCI-algebra is introduced, and their properties are investigated. The relationship between a soju ideal and a commutative soju ideal are discussed, and examples to show that any soju ideal may not be a commutative soju ideal are provided. Conditions for a soju ideal to be a commutative soju ideal are considered, and characterizations of a commutative soju ideal are studied. A new commutative soju ideal using the given commutative soju ideal is maded, and the extension property for a commutative soju ideal is established. A commutative soju ideal is established by using a commutative ideal of a BCI-algebra. The notion of a closed soju ideal in a BCI-algebra is also introduced, and it is used in studying the characterization of a commutative soju ideal.

The notions of an implicative (∈, ∈)-neutrosophic ideal and an implicative falling neutrosophic ideal are introduced, and several properties are investigated. Characterizations of an implicative (∈, ∈)-neutrosophic ideal are considered, and relations between an implicative (∈, ∈)-neutrosophic ideal and an (∈, ∈)-neutrosophic ideal are discussed. Conditions for an (∈, ∈)-neutrosophic ideal to be an implicative (∈, ∈)-neutrosophic ideal are provided, and relations between an implicative (∈, ∈)-neutrosophic ideal, a falling neutrosophic ideal and an implicative falling neutrosophic ideal are studied. Conditions for a falling neutrosophic ideal to be implicative are provided. Relations between implicative falling neutrosophic ideal, commutative falling neutrosophic ideal and positive implicative falling neutrosophic ideal are discussed.

k-polar generalized neutrosophic set is introduced, and it is applied to BCK/BCI-algebras. The notions of k-polar generalized subalgebra, k-polar generalized (∈, ∈ ∨q)-neutrosophic subalgebra and k-polar generalized (q, ∈ ∨q)-neutrosophic subalgebra are defined, and several properties are investigated. Characterizations of k-polar generalized neutrosophic subalgebra and k-polar generalized (∈, ∈ ∨q)-neutrosophic subalgebra are discussed, and the necessity and possibility operator of k-polar generalized neutrosophic subalgebra are are considered. We show that the generaliged neutrosophic q-sets and the generaliged neutrosophic ∈∨q-sets subalgebras by using the k-polar generalized (∈, ∈ ∨q)-neutrosophic subalgebra and the k-polar generalized (q, ∈ ∨q)-neutrosophic subalgebra. A k-polar generalized (∈, ∈ ∨q)-neutrosophic subalgebra is established by using the generaliged neutrosophic ∈ ∨qsets, conditions for a k-polar generalized neutrosophic set to be a k-polar generalized neutrosophic subalgebra and a k-polar generalized (q, ∈∨q)-neutrosophic subalgebra are provided.

For the first time Smarandache introduced neutrosophic sets which can be used as a mathematical tool for dealing with indeterminate and inconsistent information. the notion of BMBJ-neutrosophic set and subalgebra, as a generalization of a neutrosophic set, is introduced, and it’s application to BCI/BCK-algebras is investigated. The concept of BMBJ-neutrosophic subalgebras in BCI/BCK-algebras is introduced, and related properties are investigated. New BMBJ-neutrosophic subalgebra is established by using an BMBJ-neutrosophic subalgebra of a BCI/BCK-algebra. Alos, homomorphic (inverse) image of BMBJ-neutrosophic subalgebra and translation of BMBJ-neutrosophic subalgebra is investigated. At the end, we provided conditions for an BMBJ-neutrosophic set to be an BMBJ-neutrosophic subalgebra.

A bipolar model is a significant model wherein positive data revels the liked object, while negative data speaks the disliked object. The principle reason for analysing the vague graphs is to demonstrate the stability of few properties in a graph, characterized or to be characterized in using vagueness. In this present research article, the new concept of neutrosophic bipolar vague sets are initiated. Further, its application to neutrosophic bipolar vague graphs are introduced. Moreover, some remarkable properties of strong neutrosophic bipolar vague graphs, complete neutrosophic bipolar vague graphs and complement neutrosophic bipolar vague graphs are explored and the proposed ideas are outlined with an appropriate example

The concepts of a BMBJ-neutrosophic -subalgebra and a (closed) BMBJ-neutrosophic ideal are introduced, and several properties are investigated. Conditions for an MBJ-neutrosophic set to be a BMBJ-neutrosophic ideal in BCK/BCI-algebras are provided. Characterizations of BMBJ-neutrosophic ideal are discussed. Relations between a BMBJ-neutrosophic subalgebra, a BMBJ-neutrosophic -subalgebra and a (closed) BMBJ-neutrosophic ideal are considered.

The aim of this paper is to introduce the notion of neutrosophic ℵ −ideals in semigroups and investigate their properties. Conditions for neutrosophic ℵ −structure to be a neutrosophic ℵ −ideal are provided. We also discuss the concept of characteristic neutrosophic ℵ −structure of semigroups and its related properties.

In the present paper, we discuss the Neutrosophic quadruple q-ideals and (regular) neutrosophic quadruple ideals and investigate their related properties. Also, for any two nonempty subsets U and V of a BCI-algebra S, conditions for the set NQ(U, V ) to be a (regular) neutrosophic quadruple ideal and a neutrosophic quadruple q-ideal of a neutrosophic quadruple BCI-algebra NQ(S) are discussed.

The concepts of a positive implicative BMBJ-neutrosophic ideal is introduced, and several properties are investigated. Conditions for an MBJ-neutrosophic set to be a (positive implicative) BMBJ-neutrosophic ideal are provided. Relations between BMBJ-neutrosophic ideal and positive implicative BMBJ-neutrosophic ideal are discussed. Characterizations of positive implicative BMBJ-neutrosophic ideal are displayed.

Smarandache (F. Smarandache. Neutrosophy, neutrosophic probability, set, and logic, ProQuest Information & Learning, Ann Arbor,Michigan, USA, 105 p., 1998) initiated neutrosophic sets which can be used as a mathematical tool for dealing with indeterminates and inconsistent information. As a generalization of a neutrosophic set, the notion of MBJ-neutrosophic sets is introduced, and it is applied to BCK/BCI-algebras. The concept of MBJ-neutrosophic subalgebras in BCK/BCI-algebras is introduced, and related properties are investigated. A characterization of MBJ-neutrosophic subalgebra is provided. Using an MBJ-neutrosophic subalgebra of a BCI-algebra, a new MBJ-neutrosophic subalgebra is established. Homomorphic inverse image of MBJ-neutrosophic subalgebra is considered. Translation of MBJ-neutrosophic subalgebra is discussed. Conditions for an MBJ-neutrosophic set to be an MBJ-neutrosophic subalgebra are provided.

In this article, a new idea of BMBJ-neutrosophic hyper-BCK-algebras is introduced and some of its properties are investigated. Here, BMBJ-neutrosophic hyper-BCK-ideal, BMBJ-neutrosophic weak hyper-BCK-ideal, BMBJ-neutrosophic s-weak hyper-BCK-ideal, and BMBJ-neutrosophic strong hyper-BCK-ideal are presented, and some relevant results and relations are indicated. Characterizations of BMBJ-neutrosophic (weak, s-weak, strong) hyper-BCK-ideal are considered. Conditions for a BMBJ-neutrosophic weak hyper-BCK-ideal to be a BMBJ-neutrosophic s-weak hyper-BCK-ideal are provided. Conditions for an MBJ-neutrosophic set to be a BMBJ-neutrosophic strong hyper-BCK-ideal are given.

The notion of strong GE-filters and GE-ideals (generated) is introduced, and the related properties are investigated. The intersection of strong GE-filters (resp., GE-ideals) is proved to be a strong GE-filter (resp., GE-ideal), and the union of strong GE-filters (resp., GE-ideals) is generally not a strong GE-filters (resp., GE-ideal) by example. Conditions for a subset of a bordered GE-algebra to be a strong GE-filter are provided, and a characterization of a strong GE-filter is considered. In order to do so, irreducible GE-filter is defined first and its properties are examined. Conditions for a GE-filter to be irreducible are discussed. Given a GE-filter, and a subset in a bordered GE-algebra, the existence of an irreducible GE-filter, which contains the given GE-filter and is disjoint to the given subset, is considered. Conditions under which any subset of a bordered GE-algebra can be a GE-ideal are provided, and GE-ideal that is generated from a subset in a bordered GE-algebra is discussed. Also, what element it is formed into is stated. Finally, the smallest GE-ideal which contains a given GE-ideal and an element in a bordered GE-algebra is established.

Relations between a transitive GE-algebra, a belligerent GE-algebra, an antisymmetric GE-algebra, and a left exchangeable GE-algebra are displayed. A new substructure, so called imploring GE-filter, is introduced, and its properties are investigated. The relationship between a GE-filter, an imploring GE-filter, a belligerent GE-filter, and a prominent GE-filter are considered. Conditions for an imploring GE-filter to be a belligerent GE-filter are given, and the conditions necessary for a (belligerent) GE-filter to be an imploring GE-filter are found. Relations between a prominent GE-filter and an imploring GE-filter are discussed, and a condition for an imploring GE-filter to be a prominent GE-filter is provided. Examples to show that a belligerent GE-filter and a prominent GE-filer are independent concepts are given. The extension property of the imploring GE-filter is established.

The concepts of (commutative, transitive, left exchangeable, belligerent, antisymmetric) interior GE-algebras and bordered interior GE-algebras are introduced, and their relations and properties are investigated. Many examples are given to support these concepts. A semigroup is formed using the set of interior GE-algebras. An example is given that the set of interior GE-algebras is not a GE-algebra. It is clear that if X is a transitive (resp., commutative, belligerent, and left exchangeable) GE-algebra, then the interior GE-algebra X,f is transitive (resp., commutative, belligerent, and left exchangeable), but examples are given to show that the converse is not true in general. An interior GE-algebra is constructed using a bordered interior GE-algebra with certain conditions, and an example is given to explain this.

First, semigroup structure is constructed by providing binary operations for the crossing cubic set structure. The concept of commutative crossing cubic ideal is introduced by applying crossing cubic set structure to commutative ideal in BCK-algebra, and several properties are investigated. The relationship between crossing cubic ideal and commutative crossing cubic ideal is discussed. An example to show that crossing cubic ideal is not commutative crossing cubic ideal is given, and then the conditions in which crossing cubic ideal can be commutative crossing cubic ideal are explored. Characterizations of commutative crossing cubic ideal are discussed, and the relationship between commutative crossing cubic ideal and crossing cubic level set is considered. An extension property of commutative crossing cubic ideal is established, and the translation of commutative crossing cubic ideal is studied. Conditions for the translation of crossing cubic set structure to be commutative crossing cubic ideal are provided, and its characterization is processed.

Saeid and Jun introduced the notion of neutrosophic points, and studied neutrosophic subalgebras of several types in BCK/BCI-algebras by using the notion of neutrosophic points. More general form of neutrosophic points is considered in this paper, and generalizations of Saeid and Jun’s results are discussed.

Characterizations of an (∈, ∈)-neutrosophic ideal are considered. Any ideal in a BCK/BCI-algebra will be realized as level neutrosophic ideals of some (∈, ∈)-neutrosophic ideal. The relation between (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic subalgebra in a BCK-algebra is discussed. Conditions for an (∈,∈)-neutrosophic subalgebra to be a (∈, ∈)-neutrosophic ideal are provided. Using a collection of ideals in a BCK/BCI-algebra, an (∈, ∈)-neutrosophic ideal is established. Equivalence relations on the family of all (∈, ∈)-neutrosophic ideals are introduced, and related properties are investigated.

The notions of a commutative (∈, ∈)-neutrosophic ideal and a commutative falling neutrosophic ideal are introduced, and several properties are investigated. Characterizations of a commutative (∈, ∈)-neutrosophic ideal are obtained. Relations between commutative (∈, ∈)-neutrosophic ideal and (∈, ∈)-neutrosophic ideal are discussed. Conditions for an (∈, ∈)-neutrosophic ideal to be a commutative (∈, ∈)-neutrosophic ideal are established. Relations between commutative (∈, ∈)-neutrosophic ideal, falling neutrosophic ideal and commutative falling neutrosophic ideal are considered. Conditions for a falling neutrosophic ideal to be commutative are provided.

In this article, we apply the notion of interval neutrosophic sets to ideal theory in BCK/BCI-algebras.

The notions of (quasi, pseudo) star-shaped sets are introduced, and several related properties are investigated. Characterizations of (quasi) star-shaped sets are considered. The translation of (quasi, pseudo) star-shaped sets are discussed. Unions and intersections of quasi star-shaped sets are conceived. Conditions for a quasi (or, pseudo) star-shaped set to be a star-shaped set are provided.

In 2020, Kang et al. introduced the concept of a multipolar intuitionistic fuzzy set of finite degree, which is a generalization of a k-polar fuzzy set, and applied it to a BCK/BCI-algebra. The specific purpose of this study was to apply the concept of a multipolar intuitionistic fuzzy set of finite degree to a hyper BCK-algebra. The notions of the k-polar intuitionistic fuzzy hyper BCK-ideal, the k-polar intuitionistic fuzzy weak hyper BCK-ideal, the k-polar intuitionistic fuzzy s-weak hyper BCK-ideal, the k-polar intuitionistic fuzzy strong hyper BCK-ideal and the k-polar intuitionistic fuzzy reflexive hyper BCK-ideal are introduced herein, and their relations and properties are investigated. These concepts are discussed in connection with the k-polar lower level set and the k-polar upper level set.

In this paper, we define the notions of i-octahedron groupoid and i-OLI [resp., i-ORI and i-OI], and study some of their properties and give some examples. Also we deal with some properties for the image and the preimage of i-octahedron groupoids [resp., i-OLI, i-ORI and i-OI] under a groupoid homomorphism. Next, we introduce the concepts of i-octahedron subgroup and normal subgroup of a group and investigate some of their properties. In particular, we obtain a characterization of an i-octahedron subgroup of a group. Finally, we define an i-octahedron subring [resp., i-OLI, i-ORI and i-OI] of a ring and find some of their properties. In particular, we obtain two characterizations of i-OLI [resp., i-ORI and i-OI] of a ring and a skew field, respectively.

The notion of hybrid ideals in B C K / B C I -algebras is introduced, and related properties are investigated. Characterizations of hybrid ideals are discussed. Relations between hybrid ideals and hybrid subalgebras are considered. Characterizations of hybrid ideals are considered. Based on a hybrid structure, properties of special sets are investigated, and conditions for the special sets to be ideals are displayed.

In this paper, we discuss the notion of an m-polar fuzzy (normal) subalgebra in B-algebras and its related properties. We consider characterizations of an m-polar fuzzy (normal) subalgebra. We define the concept of an m-polar intuitionistic fuzzy (normal) subalgebra in a B-algebra, and we characterize the m-polar intuitionistic fuzzy (normal) subalgebra. Given an m-polar fuzzy set, we construct a simple m-polar fuzzy set and discuss on m-polar intuitionistic fuzzy subalgebras of B-algebras.

In 2020, Kang, Song and Jun introduced the notion of multipolar intuitionistic fuzzy set with finite degree, which is a generalization of intuitionistic fuzzy set, and they applied it to BCK/BCI-algebras. In this paper, we used this notion to study p-ideals of BCI-algebras. The notion of k-polar intuitionistic fuzzy p-ideals in BCI-algebras is introduced, and several properties were investigated. An example to illustrate the k-polar intuitionistic fuzzy p-ideal is given. The relationship between k-polar intuitionistic fuzzy ideal and k-polar intuitionistic fuzzy p-ideal is displayed. A k-polar intuitionistic fuzzy p-ideal is found to be k-polar intuitionistic fuzzy ideal, and an example to show that the converse is not true is provided. The notions of p-ideals and k-polar ( ∈ , ∈ ) -fuzzy p-ideal in BCI-algebras are used to study the characterization of k-polar intuitionistic p-ideal. The concept of normal k-polar intuitionistic fuzzy p-ideal is introduced, and its characterization is discussed. The process of eliciting normal k-polar intuitionistic fuzzy p-ideal using k-polar intuitionistic fuzzy p-ideal is provided.

We introduce the notions of meet, semi-prime, and prime weak closure operations. Using homomorphism of BCK-algebras φ : X → Y , we show that every epimorphic image of a non-zeromeet element is also non-zeromeet and, for mapping c l Y : I ( Y ) → I ( Y ) , we define a map c l Y ← on I ( X ) by A ↦ φ − 1 ( φ ( A ) c l Y ) . We prove that, if “ c l Y ” is a weak closure operation (respectively, semi-prime and meet) on I ( Y ) , then so is “ c l Y ← ” on I ( X ) . In addition, for mapping c l X : I ( X ) → I ( X ) , we define a map c l X → on I ( Y ) as follows: B ↦ φ ( φ − 1 ( B ) c l X ) . We show that, if “ c l X ” is a weak closure operation (respectively, semi-prime and meet) on I ( X ) , then so is “ c l X → ” on I ( Y ) .

When events occur in everyday life, it is sometimes advantageous to approach them in two directions to find a solution for them. As a mathematical tool to handle these things, we can consider the intuitionistic fuzzy set. However, when events are complex and the key to a solution cannot be easily found, we feel the need to approach them for hours and from various directions. As mathematicians, we wish we had the mathematical tools that apply to these processes. If these mathematical tools were developed, we would be able to apply them to algebra, topology, graph theory, etc., from a close point of view, and we would be able to apply these research results to decision-making and/or coding theory, etc., from a distant point of view. In light of this view, the purpose of this study is to introduce the notion of a multipolar intuitionistic fuzzy set with finite degree (briefly, k-polar intuitionistic fuzzy set), and to apply it to algebraic structure, in particular, a BCK/BCI-algebra. The notions of a k-polar intuitionistic fuzzy subalgebra and a (closed) k-polar intuitionistic fuzzy ideal in a BCK/BCI-algebra are introduced, and related properties are investigated. Relations between a k-polar intuitionistic fuzzy subalgebra and a k-polar intuitionistic fuzzy ideal are discussed. Characterizations of a k-polar intuitionistic fuzzy subalgebra/ideal are provided, and conditions for a k-polar intuitionistic fuzzy subalgebra to be a k-polar intuitionistic fuzzy ideal are provided. In a BCI-algebra, relations between a k-polar intuitionistic fuzzy ideal and a closed k-polar intuitionistic fuzzy ideal are discussed. A characterization of a closed k-polar intuitionistic fuzzy ideal is considered, and conditions for a k-polar intuitionistic fuzzy ideal to be closed are provided.

There are many characterizations of linear operators from various matrix spaces into themselves which preserve term rank. In this research, we characterize the linear maps which preserve any two term ranks between different matrix spaces over anti-negative semirings, which extends the previous results on characterizations of linear operators from some matrix spaces into themselves. That is, a linear map T from p × q matrix spaces into m × n matrix spaces preserves any two term ranks if and only if T preserves all term ranks if and only if T is a ( P , Q , B )-block map.

Recent trends in modern information processing have focused on polarizing information, and and bipolar fuzzy sets can be useful. Bipolar fuzzy sets are one of the important tools that can be used to distinguish between positive information and negative information. Positive information, for example, already observed or experienced, indicates what is guaranteed to be possible, and negative information indicates that it is impossible, prohibited, or certainly false. The purpose of this paper is to apply the bipolar fuzzy set to BCK/BCI-algebras. The notion of (translated) k-fold bipolar fuzzy sets is introduced, and its application in BCK/BCI-algebras is discussed. The concepts of k-fold bipolar fuzzy subalgebra and k-fold bipolar fuzzy ideal are introduced, and related properties are investigated. Characterizations of k-fold bipolar fuzzy subalgebra/ideal are considered, and relations between k-fold bipolar fuzzy subalgebra and k-fold bipolar fuzzy ideal are displayed. Extension of k-fold bipolar fuzzy subalgebra is discussed.

A fuzzy set is an extension of an existing set using fuzzy logic. Soft set theory is a generalization of fuzzy set theory. Fuzzy and soft set theory are good mathematical tools for dealing with uncertainty in a parametric manner. The aim of this article is to introduce the concept of makgeolli structures using fuzzy and soft set theory and to apply it to BCK/BCI-algebras. The notion of makgeolli algebra and makgeolli ideal in BCK/BCI-algebras is defined, and several properties are investigated. It deals with the relationship between makgeolli algebra and makgeolli ideal, and several examples are given. Characterization of makgeolli algebra and makgeolli ideal are discussed, and a new makgeolli algebra from old one is established. A condition for makgeolli algebra to be makgeolli ideal in BCK-soft universe is considered, and we give example to show that makgeolli ideal is not makgeolli algebra in BCI-soft universe. Conditions for makgeolli ideal to be makgeolli algebra in BCI-soft universe are provided.

In this paper, we introduce the notions of ( ∈ , ∈ ) -fuzzy positive implicative filters and ( ∈ , ∈ ∨ q ) -fuzzy positive implicative filters in hoops and investigate their properties. We also define some equivalent definitions of them, and then we use the congruence relation on hoop defined in blue[Aaly Kologani, M.; Mohseni Takallo, M.; Kim, H.S. Fuzzy filters of hoops based on fuzzy points. Mathematics. 2019, 7, 430; doi:10.3390/math7050430] by using an ( ∈ , ∈ ) -fuzzy filter in hoop. We show that the quotient structure of this relation is a Brouwerian semilattice.

By considering an entry (i.e., a number, an idea, an object, etc.) which is represented by a known part ( a ) and an unknown part ( b T , c I , d F ) where T , I , F have their usual neutrosophic logic meanings and a , b , c , d are real or complex numbers, Smarandache introduced the concept of neutrosophic quadruple numbers. Using the concept of neutrosophic quadruple numbers based on a set, Jun et al. constructed neutrosophic quadruple BCK/BCI-algebras and implicative neutrosophic quadruple BCK-algebras. The notion of a neutrosophic quadruple BCI-positive implicative ideal is introduced, and several properties are dealt with in this article. We establish the relationship between neutrosophic quadruple ideal and neutrosophic quadruple BCI-positive implicative ideal. Given nonempty subsets I and J of a BCI-algebra, conditions for the neutrosophic quadruple ( I , J ) -set to be a neutrosophic quadruple BCI-positive implicative ideal are provided.

Maji et al. introduced the concept of fuzzy soft sets as a generalization of the standard soft sets, and presented an application of fuzzy soft sets in a decision-making problem. Maji et al. also introduced the notion of intuitionistic fuzzy soft sets in the paper [P.K. Maji, R. Biswas and A.R. Roy, Intuitionistic fuzzy soft sets, The Journal of Fuzzy Mathematics, 9 (2001), no. 3, 677–692]. The aim of this manuscript is to apply the notion of intuitionistic fuzzy soft set to hyper BCK algebras. The notions of intuitionistic fuzzy soft hyper BCK ideal, intuitionistic fuzzy soft weak hyper BCK ideal, intuitionistic fuzzy soft s-weak hyper BCK-ideal and intuitionistic fuzzy soft strong hyper BCK-ideal are introduced, and related properties and relations are investigated. Characterizations of intuitionistic fuzzy soft (weak) hyper BCK ideal are considered. Conditions for an intuitionistic fuzzy soft weak hyper BCK ideal to be an intuitionistic fuzzy soft s-weak hyper BCK ideal are provided. Conditions for an intuitionistic fuzzy soft set to be an intuitionistic fuzzy soft strong hyper BCK ideal are given.

A neutrosophic set is initiated by Smarandache, and it is a novel tool to deal with vagueness considering the truth, indeterminacy and falsity memberships satisfying the condition that their sum is less than 3. The concept of neutrosophic quadruple numbers was introduced by Florentin Smarandache. Using this idea, Jun et al. introduced the notion of neutrosophic quadruple B C K / B C I -numbers, and studied neutrosophic quadruple B C K / B C I -algebras. As a continuation of Jun et al.’s paper, the notion of implicative neutrosophic quadruple B C K -algebras is introduced, and several properties are investigated. Given a set Y, conditions for the neutrosophic quadruple Y-set N q ( Y ) to be a neutrosophic quadruple B C I -algebra are provided. Conditions for the neutrosophic quadruple Y-set N q ( Y ) to be an implicative neutrosophic quadruple B C K -algebra are provided. Given subsets I and J of a B C K -algebra Y, conditions for the neutrosophic quadruple ( I , J ) -set N q ( I , J ) to be an implicative ideal of the neutrosophic quadruple B C K -algebra N q ( Y ) are discussed.

In this paper, the notion of cubic intuitionistic q-ideals in B C I -algebras is introduced. A relationship between a cubic intuitionistic subalgebra, a cubic intuitionistic ideal, and a cubic intuitionistic q-ideal is discussed. Conditions for a cubic intuitionistic ideal to be a cubic intuitionistic q-ideal are provided. Characterizations of a cubic intuitionistic q-ideal are considered. The cubic intuitionistic extension property for a cubic intuitionistic q-ideal is established. Furthermore, the product of cubic intuitionistic subalgebras, ideals, and q-ideals are investigated.

The concept of quantum B-algebra was introduced by Rump and Yang, that is, unified algebraic semantics for various noncommutative fuzzy logics, quantum logics, and implication logics. In this paper, a new notion of q-filter in quantum B-algebra is proposed, and quotient structures are constructed by q-filters (in contrast, although the notion of filter in quantum B-algebra has been defined before this paper, but corresponding quotient structures cannot be constructed according to the usual methods). Moreover, a new, more general, implication algebra is proposed, which is called basic implication algebra and can be regarded as a unified frame of general fuzzy logics, including nonassociative fuzzy logics (in contrast, quantum B-algebra is not applied to nonassociative fuzzy logics). The filter theory of basic implication algebras is also established.

The concepts of a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal and a positive implicative falling intuitionistic fuzzy ideal are introduced, and several properties are investigated. Characterizations of a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal are obtained, and relations between a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal and an intuitionistic fuzzy ideal are discussed. Conditions for an intuitionistic fuzzy ideal to be a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal are provided, and relations between a positive implicative ( ∈ , ∈)-intuitionistic fuzzy ideal, a falling intuitionistic fuzzy ideal and a positive implicative falling intuitionistic fuzzy ideal are considered. Conditions for a falling intuitionistic fuzzy ideal to be positive implicative are given.

Intuitionistic falling shadow is introduced, and applied to B C K / B C I -algebras. Falling intuitionistic subalgebra and falling intuitionistic ideal of B C K / B C I -algebras are introduced, and related properties are investigated. Relations between falling intuitionistic subalgebra and falling intuitionistic ideal are discussed. A characterization of falling intuitionistic ideal is established.