The notions of coupled N -subalgebra, coupled (positive implicative) N -ideals of d-algebras are introduced, and related properties are investigated. Characterizations of a coupled N -subalgebra and a coupled (positive implicative) N -ideals of d-algebras are given. Relations among a coupled N -subalgebra, a coupled N -ideal and a coupled positive implicative N -ideal of d-algebras are discussed.

The notion of fuzzy s-prime filters of a bounded BCK-algebra is introduced.We discuss the relation between fuzzy s-prime filters and fuzzy prime filters. By the fuzzy s-prime filters of a bounded commutative BCK-algebra X, we establish a fuzzy topological structure on X. We prove that the set of all fuzzy s-prime filters of a bounded commutative BCK-algebra forms a topological space. Moreover, ...

Molodtsov's soft set theory provides a general mathematical framework for dealing with uncertainty. The concepts of (M, N)-SI implicative (Boolean) filters of BL-algebras are introduced. Some good examples are explored. The relationships between (M, N)-SI filters and (M, N)-SI implicative filters are discussed. Some properties of (M, N)-SI implicative (Boolean) filters are investigated. In part...

The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative A-polynomial of twist knots. Our multivariable creative telescoping method allows us to compute linear recursions for sums of the form J(n) = P k c(n, k)Ĵ(k) given a recursion relation for (Ĵ(n)) a the hyp...

Assume that n and k are positive integers with n ≥ 2k + 1. A non-hamiltonian graph G is hypo hamiltonian if G − v is hamiltonian for any v ∈ V (G). It is proved that the generalized Petersen graph P (n, k) is hypo hamiltonian if and only if k = 2 and n ≡ 5 (mod 6). Similarly, a hamiltonian graph G is hyper hamiltonian if G−v is hamiltonian for any v ∈ V (G). In this paper, we will give some nec...

for two algebras $a$ and $b$, a linear map $t:a longrightarrow b$ is called separating, if $xcdot y=0$ implies $txcdot ty=0$ for all $x,yin a$. the general form and the automatic continuity of separating maps between various banach algebras have been studied extensively. in this paper, we first extend the notion of separating map for module case and then we give a description of a linear separa...

This  paper extends the notion of fuzzy $BCK$-subalgebras to fuzzy hyper $BCK$-subalgebras and defines an extended fuzzy $BCK$-subalgebras. This study  considers  a type of fuzzy hyper  $BCK$-ideals  in this  hyperstructure  and  describes   the  relationship  between hyper  $BCK$-ideals and  fuzzy hyper  $BCK$-ideals.  In fact, it tries to introduce   a  strongly  regular  relation  on hyper $...