List of equivalences
From LLWiki
Revision as of 12:40, 26 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