List of equivalences - Revision history

Olivier Laurent: Correction of useless corrections

2017-07-27T20:03:12Z

Correction of useless corrections

2017-07-27T19:55:53Z

Reverted edits by Olivier Laurent (talk) to last revision by Emmanuel Beffara

2017-07-26T10:40:20Z

‎Miscellaneous: LaTeX typo

2017-07-26T10:39:14Z

‎Miscellaneous: 0 o-o !0 added

2016-09-06T10:10:07Z

‎Miscellaneous: encoding of multiplicative units with atoms and exponentials

2015-01-08T11:03:01Z

‎Multiplicatives: additional example

2014-11-26T13:32:36Z

‎Multiplicatives: A is equivalent too

2014-11-21T10:42:35Z

emphasis added

2014-11-21T10:39:06Z

‎Additives: Added Emmanuel Beffara's example for multiplicatives

2013-10-28T14:57:46Z

Exponentials added

@@ Line 6: / Line 6: @@
 <math>
 \begin{array}{rcccl}
-A &\linequiv& A \tens (A\orth\parr A) &\linequiv& (A\tens A\orth)\parr A
+A &\linequiv& A \tens (A\orth\parr A) &\linequiv& (A\tens A\orth)\parr A \\
 \end{array}
 </math>
@@ Line 82: / Line 82: @@
 <math>
 \begin{array}{rcl}
   \oc{\wn{(\oc{A}\with\oc{B})}} &\linequiv& \oc{(\wn{\oc{A}}\with\wn{\oc{B}})} \\
   \wn{\oc{(\wn{A}\plus\wn{B})}} &\linequiv& \wn{(\oc{\wn{A}}\plus\oc{\wn{B}})}

@@ Line 6: / Line 6: @@
 <math>
 \begin{array}{rcccl}
-A &\linequiv& A \tens (A\orth\parr A) &\linequiv& (A\tens A\orth)\parr A \\
+A &\linequiv& A \tens (A\orth\parr A) &\linequiv& (A\tens A\orth)\parr A
 \end{array}
 </math>
@@ Line 82: / Line 82: @@
 <math>
 \begin{array}{rcl}
   \oc{\wn{(\oc{A}\with\oc{B})}} &\linequiv& \oc{(\wn{\oc{A}}\with\wn{\oc{B}})} \\
   \wn{\oc{(\wn{A}\plus\wn{B})}} &\linequiv& \wn{(\oc{\wn{A}}\plus\oc{\wn{B}})}

@@ Line 86: / Line 86: @@
   \top  &\linequiv& \wn{\top} \\
 \\
   \one &\linequiv& \oc{(A\orth\parr A)} \\
   \bot &\linequiv& \wn{(A\orth\tens A)} \\

@@ Line 82: / Line 82: @@
 <math>
 \begin{array}{rcl}
   \one &\linequiv& \oc{(A\orth\parr A)} \\

@@ Line 83: / Line 83: @@
 <math>
 \begin{array}{rcl}
   \oc{\wn{(\oc{A}\with\oc{B})}} &\linequiv& \oc{(\wn{\oc{A}}\with\wn{\oc{B}})} \\
   \wn{\oc{(\wn{A}\plus\wn{B})}} &\linequiv& \wn{(\oc{\wn{A}}\plus\oc{\wn{B}})}

@@ Line 1: / Line 1: @@
 Each [[List of isomorphisms|isomorphism]] gives an equivalence of formulas.
-The following equivalences are not isomorphisms.
+The following equivalences are ''not'' isomorphisms.
 == Multiplicatives ==

@@ Line 22: / Line 22: @@
 \end{array}
 </math>
 == Polarities ==