Proceedings 1999 29th IEEE International Symposium on Multiple-Valued Logic (Cat. No.99CB36329)
Download PDF

Abstract

This paper deals with a multivalued extension of the concept of a binary relation on a set E. If R is such an r-valued relation on E, for every (x, y) E E2, there exists exactly one i E {O, 1, . . . . r-l} such that the degreeof comparability of (x, y) with respect to R is equal to i. The set of all r-valued relations on E is then equipped with an order relation I and turns out to be a Post algebra of order r. This first part of the paper makes a large use of the results of a previous paper (1999 a). In a second step, we study multivalued product of relations, as well as multivalued reflexivity, symmetry, antisymmetry, and transitivity. It follows for example that, from a multivalued viewpoint, symmetry and antisymmetry turn out to be quite different, since the latter is hereditary while the former is not. We finally investigate some properties of multivalued equivalences, multivalued orders and preorders.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!