# List of equivalences

From LLWiki

Revision as of 22:03, 27 July 2017 by Olivier Laurent (Talk | contribs)

Each isomorphism gives an equivalence of formulas.
The following equivalences are *not* isomorphisms.

## Contents |

## Multiplicatives

## Additives

## Quantifiers

## Exponentials

Some of these equivalences are related with the lattice of exponential modalities.

## Polarities

(N negative) | |

(P positive) | |

(R regular) | |

(L co-regular) |

## Second order encodings

## Miscellaneous