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 was not very unusual at Washington for a lady to take the arm of a gentleman, who was neither her husband, her father, nor her brother. This remarkable relaxation of American decorum has been probably introduced by the foreign legations.”
—Frances Trollope (1780–1863)
“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)