follow Dictionary.com

Do you know ghouls from goblins and ghosts?

logical relation

logical relation in Technology


A relation R satisfying
f R g <=> For all a, b, a R b => f a R g b
This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for logical

10
14
Scrabble Words With Friends