In this paper, we introduce the concept of doubt fuzzy H-ideals in BCKalgebras and study its some properties. Moreover, we provide characterizations of H-Artin BCK-algebras in terms of doubt fuzzy H-ideals.

We prove that the theory of EXPTIME degrees with respect to polynomial time Turing and many-one re-ducibility is undecidable. To do so we use a coding method based on ideal lattices of Boolean algebras which was introduced in 7]. The method can be applied in fact to all hyper-polynomial time classes.

Dendritic macromolecules’ have attracted much attention as organic examples of well-defined nanostructures. These molecules are ideal model systems for studying how physical properties depend on molecular size and architecture. In this paper using a simple result, some GAP programs are prepared to compute Wiener and hyper Wiener indices of dendrimers.

We prove that the theory of EXPTIME degrees with respect to polynomial time Turing and many-one reducibility is undecidable. To do so we use a coding method based on ideal lattices of Boolean algebras which was introduced in [7]. The method can be applied in fact to all hyper-polynomial time classes.

We propose a method for explicit computation of the Chern character form of a holomorphic Hermitian vector bundle (E, h) over a complex manifold X in a local holomorphic frame. First, we use the descent equations arising in the double complex of (p, q)-forms on X and find the explicit degree decomposition of the Chern–Simons form csk associated to the Chern character form chk of (E, h). Second,...

Using the notion of anti fuzzy points and its besideness to and nonquasi-coincidence with a fuzzy set, new concepts in anti fuzzy subalgebras in BCK/BCI-algebras are introduced and their properties and relationships are investigated.