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:
“Our domestic problems are for the most part economic. We have our enormous debt to pay, and we are paying it. We have the high cost of government to diminish, and we are diminishing it. We have a heavy burden of taxation to reduce, and we are reducing it. But while remarkable progress has been made in these directions, the work is yet far from accomplished.”
—Calvin Coolidge (1872–1933)
“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)