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:
“Norway, too, has noble prospects; and Lapland is remarkable for prodigious noble wild prospects. But, Sir, let me tell you, the noblest prospect which a Scotchman ever sees is the high road that leads him to England!”
—Samuel Johnson (1709–1784)
“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)