Real-valued implication as generalized Boolean polynomial

Real-valued implication (R-implication) is a Boolean consistent generalization of the classical binary implication. Rimplication plays important roles in real-valued set (R-set) theory as a generalization of classical set theory as well as in many applications such as morphology in image processing, association rules in data mining and decision making generally.