# List of equivalences

From LLWiki

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