Logical relation
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.
| < Previous Terms | Terms Containing logical relation | Next Terms > |
| Logical Block Addressing logical complement Logical Interchange Format Logical Link Control Logical Link Control and Adaptation Protocol | Algorithmic Test Case Generation | logical shift logical shift left logical shift right Logical Unit Logical Unit 6.2 |
