Definitions
from The Century Dictionary.
- noun 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.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun An editorial misreading for
recidivation .
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word residuation.
Examples
-
This connection between the conditional and consequence is called residuation by analogy with the case in mathematics.
Substructural Logics Restall, Greg 2008
-
“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
Combinatory Logic Bimbó, Katalin 2008
-
Moreover, one interprets the implication by a residuation operation →.
Citizendium, the Citizens' Compendium - Recent changes [en] Giangiacomo Gerla 2008
-
Moreover, one interprets the implication by a residuation operation →.
Citizendium, the Citizens' Compendium - Recent changes [en] 2008
-
Usually one considers the interval [0,1] one interprets the implication by the related residuation operation
Citizendium, the Citizens' Compendium - Recent changes [en] 2008
-
In addition to the residuation condition giving the behaviour of ’, we may wish to define a new arrow as follows:
Substructural Logics Restall, Greg 2008
-
X) then we can reason as follows, using just the identity axiom and residuation:
Substructural Logics Restall, Greg 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.