Abstract. The dominance relationship between two members of the family of Sugeno Weber tnorms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a transitive, and therefore also an order relation, on this family of t-norms.
Manuel Kauers, Veronika Pillwein, Susanne Saminger