logical relation


Also found in: Dictionary, Thesaurus.
Related to logical relation: logical function

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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
symbol system in which logical relations are represented through the use
This, which is not identical with the grammatical term conjunction, is a specification of how what follows is systematically connected by certain elementary logical relations to what precedes in the text.
4) The principle of the logical relation between the notion of truth and the notion of 'others', i.e., that principle (1) logically implies intersubjectivity.
On account of the logical relations of monads, dyads, and triads to polyads of all higher adinities, it is possible to see why any human language that can get up to the number 3 can easily reach all the natural numbers.
The basic thrust of this argument is the distinguishing between the whole, composed of component parts bound by logical relations, and the temporal articulation of some of those relations.
There was also observed logical relation between the amount of color adsorption by zinc oxide nanoparticles in the first 30 minutes in the absence of UV radiation and the photocatalytic activity.
Or, equivalently, the choice will depend upon what logical relation we want our Bayesian agents to be able to learn.
He made it clear that "resistance economy" urged by the Supreme Leader does not mean to cut off relations with the world; rather it calls for maintenance of domestic capabilities and a logical relation with the world.
Although this is not usually pointed out in logic courses, the same applies to first-order logical relations.(2) In fact, while the equality relation is usually said to be logical (and hence the equality predicate symbol is classified as a logical particle), the question as to what, in general, is a logical relation is hardly ever raised.
The US doesn't seek a logical relation with Iran, Rezayee added.
Another possibility, which has been neglected, is the case where we erroneously believe that some logical relation among the events obtains.
In the 1950s some prominent philosophers suggested the presence of a logical relation weaker than entailment between primarily descriptive statements and ethical conclusions.