In this paper, we interrelate the intuitionistic fuzzification of the concept of BCI-(positive implicative, implicative, commutative) ideals in BCI-algebras and investigate some of their properties.

Several types of skeletons in a hyper MV-algebra are introduced, and their relations are investigated.

This paper provides a review on major ergodic features of semi-independent hyper MV {algebra dynamical systems. Theorems are presentedto make contribution to calculate the entropy. Particularly, it is proved that thetotal entropy of those semi-independent hyper MV {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

Applying the idea of soft set theory to lattice implication algebras, the novel concept of (implicative) filteristic soft lattice implication algebras which related to (implicative) filter(for short, (IF -)F -soft lattice implication algebras) are introduced. Basic properties of (IF -)F -soft lattice implication algebras are derived. Two kinds of fuzzy filters (i.e.(∈,∈ ∨qk)((∈,∈ ∨ qk))-fuzzy (...

We introduce and study some types of fuzzy prefilters (filters) in EQ-algebras. First, we present several characterizations of fuzzy positive implicative prefilters (filters), fuzzy implicative prefilters (filters), and fuzzy fantastic prefilters (filters). Next, using their characterizations, we mainly consider the relationships among these special fuzzy filters. Particularly, we find some con...

Ward and Dilworth 1 introduced the concept of residuated lattices as generalization of ideal lattices of rings. The residuated lattice plays the role of semantics for a multiple-valued logic called residuated logic. Residuated logic is a generalization of intuitionistic logic. Therefore it is weaker than classical logic. Important examples of residuated lattices related to logic are Boolean alg...

With the help of hyper-ideal circle pattern theory, we have developed a discrete version of the classical uniformization theorems for surfaces represented as finite branched covers over the Riemann sphere as well as compact polyhedral surfaces with non-positive curvature. We show that in the case of such surfaces discrete uniformization via hyper-ideal circle patterns always exists and is uniqu...