from Wiktionary, Creative Commons Attribution/Share-Alike 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 co-residuals upon a cubic curve by linear constructions.
Sorry, no etymologies found.
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: