Molodtsov [5] introduced 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 an implicative ideal of BCK-algebras. The notion of implicative soft ideals in BCKalgebras and implicative idealistic soft BCK-algebras is ...

The intuitionistic fuzzification of (strong, weak, s-weak) hyperBCK-ideals is introduced, and related properties are investigated. Characterizationsof an intuitionistic fuzzy hyper BCK-ideal are established. Using acollection of hyper BCK-ideals with some conditions, an intuitionistic fuzzyhyper BCK-ideal is built.

In this paper, by considering the notion of ∧-closed set in BCK-algebras, we construct the fractions of BCK-algebras and we get some related results.

The notion of ∈-soft set and q-soft set based on a fuzzy set is introduced, and characterizations for an ∈-soft set and a q-soft set to be (idealistic) soft BCK/BCIalgebras are provided. Using the notion of (∈,∈∨ q)-fuzzy BCK/BCI subalgebras/ideals, characterizations for an ∈-soft set and a q-soft set to be (idealistic) soft BCK/BCI-algebras are established. AMS subject classifications: 06D72, ...

The foldness of PI( , ⊆, ⊆)BCK -ideals and PI( , , )BCK -ideals is considered. The fuzzy version of such notions is also discussed.

Neutrosophic set has the ability to handle uncertain, incomplete, inconsistent, indeterminate information in a more accurate way. In this paper, we proposed a neutrosophic recommender system to predict the diseases based on neutrosophic set which includes single-criterion neutrosophic recommender system (SCNRS) and multi-criterion neutrosophic recommender system (MC-NRS). Further, we investigat...

In this paper the notion of fuzzy dot BCK-subalgebra is introduced. We state and prove some theorem in fuzzy dot BCK-subalgebra and level subalgebras. Mathematics Subject Classification: 06F35, 03G25, 94D05

This paper deals with some properties of n-fold commutative ideals and n-fold weak commutative ideals in BCK-algebras. Afterwards, we construct some algorithms for studying foldness theory of commutative ideals in BCK-algebras.

We investigate quantitative properties of BCI and BCK logics. The first part of the paper compares the number of formulas provable in BCI versus BCK logics. We consider formulas built on implication and a fixed set of k variables. We investigate the proportion between the number of such formulas of a given length n provable in BCI logic against the number of formulas of length n provable in ric...

BCK-algebras, introduced in the 1960s by Imai and Iséki [3], form a well-known class of algebras intensively studied in algebraic logic during the last decades. The reason of their introduction was practically twofold: they describe general properties of algebras of sets with the set subtraction as a binary operation, and secondly, they form a natural generalization of algebraic counterparts of...