Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 n. An editorial misreading for recidivation.
from The Century Dictionary and Cyclopedia
 n. In mathematics, the act of finding the residual or integral round a pole divided by 2PI; the process of finding residuals and coresiduals upon a cubic curve by linear constructions.
Etymologies
Sorry, no etymologies found.
Examples

This connection between the conditional and consequence is called residuation by analogy with the case in mathematics.

“Gaggle theory: An abstraction of Galois connections and residuation with applications to negation, implication, and various logical operators,” in Logics in AI: European workshop JELIA

Moreover, one interprets the implication by a residuation operation →.

Usually one considers the interval [0,1] one interprets the implication by the related residuation operation

In addition to the residuation condition giving the behaviour of ’, we may wish to define a new arrow as follows:

X) then we can reason as follows, using just the identity axiom and residuation:
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.