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:

    Dandyism is the last flicker of heroism in decadent ages.... Dandyism is a setting sun; like the declining star, it is magnificent, without heat and full of melancholy. But alas! the rising tide of democracy, which spreads everywhere and reduces everything to the same level, is daily carrying away these last champions of human pride, and submerging, in the waters of oblivion, the last traces of these remarkable myrmidons.
    Charles Baudelaire (1821–1867)

    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)