Remarkable Formulae
In addition to the De Morgan dualities described above, some important equivalences in linear logic include:
- Distributivity
- Exponential isomorphism
(Here .)
The following is not in general an equivalence, only an implication:
- Semi-distributivity
Read more about this topic: Linear Logic
Famous quotes containing the words remarkable and/or formulae:
“In dealings with scholars and artists we are apt to miscalculate in opposite directions: behind a remarkable scholar we sometimes, and not infrequently, find a mediocre man, and behind a mediocre artist, fairly often—a very remarkable man.”
—Friedrich Nietzsche (1844–1900)
“I don’t believe in providence and fate, as a technologist I am used to reckoning with the formulae of probability.”
—Max Frisch (1911–1991)
Related Phrases
Related Words