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:

    It was remarkable how easily he got along over the worst ground.
    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)