Linear Logic - Remarkable Formulae

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)