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:

    “There is a very remarkable inclination in human nature to bestow on external objects the same emotions which it observes in itself, and to find every where those ideas which are most present to it.”
    —David Hume (1711–1776)

    “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)