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

We present a preliminary study of applying the concepts of algebraic geometry over fields to the theory of MV-algebras. We proceed along lines similar to B. Plotkin and others where an algebraic geometry over groups is developed.

Micali and Valiant proposed a mechanism for combinatorial auctions that is dominant-strategy truthful, guarantees reasonably high revenue, and is very resilient against collusions. Their mechanism, however, uses as a subroutine the VCG mechanism, that is not polynomial time. We propose a modification of their mechanism that is efficient, while retaining their collusion resilience and a good fra...

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.