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:
“It is remarkable by how much a pinch of malice enhances the penetrating power of an idea or an opinion. Our ears, it seems, are wonderfully attuned to sneers and evil reports about our fellow men.”
—Eric Hoffer (1902–1983)
“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