Based on the Buşneag’s model ([2, 3, 4]), the notion of pseudovaluations (valuations) on a BE-algebra is introduced, and a pseudometric is induced by a pseudo-valuation on BE-algebras. Related properties are investigated, and conditions for a real-valued function on a BE-algebra to be a pseudo-valuation are discussed. Using the notion of (pseudo) valuation, we show that the binary operation in ...

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.

The goal of this paper is to describe, in as much detail as possible, the structure of the algebra of differential invariants of a Lie pseudo-group. Under the assumption of local freeness of the prolonged pseudo-group action, we develop algorithms for locating a finite generating set of differential invariants, establishing the recurrence relations for the differentiated invariants, and fixing ...

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.

In this paper, for any non-empty subset C of a pseudo BCI-algebra X, the concept of p-closure of C, denoted by C(pc), is introduced and some related properties are investigated. Applying this concept, a characterization of the minimal elements of X is given. It is proved that C(pc) is the least closed pseudo BCI-ideal of X containing C and K(X) for any ideal C of X...

The conjugacy problem for the pseudo-Anosov automorphisms of a compact surface is studied. To each pseudo-Anosov automorphism φ, we assign an AF -algebra Aφ (an operator algebra). It is proved that the assignment is functorial, i.e. every φ, conjugate to φ, maps to an AF algebra Aφ′ , which is stably isomorphic to Aφ. The new invariants of the conjugacy of the pseudo-Anosov automorphisms are ob...

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...