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 what a value is still put upon wood even in this age and in this new country, a value more permanent and universal than that of gold. After all our discoveries and inventions no man will go by a pile of wood. It is as precious to us as it was to our Saxon and Norman ancestors. If they made their bows of it, we make our gun-stocks of it.”
—Henry David Thoreau (1817–1862)
“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)