Changes

Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)

Revision as of 18:31, 2 July 2009

No change in size , 18:31, 2 July 2009

rescale images

Line 65: Line 65:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]

| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>

|

Line 87: Line 87:

\end{matrix}</math>

|-

−

| height="120px" | [[Image:Cactus (A,B) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]

| <math>\texttt{(} a, b \texttt{)}</math>

|

Line 100: Line 100:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]

| <math>\texttt{((} a, b \texttt{))}</math>

|

Line 113: Line 113:

\end{matrix}</math>

|-

−

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]

| <math>\texttt{(} a, b, c \texttt{)}</math>

|

Line 124: Line 124:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]

| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>

|

Line 135: Line 135:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]

| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>

|

Line 194: Line 194:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]

| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>

|

Line 216: Line 216:

\end{matrix}</math>

|-

−

| height="120px" | [[Image:Cactus (A,B) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]

| <math>\texttt{(} a, b \texttt{)}</math>

|

Line 229: Line 229:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]

| <math>\texttt{((} a, b \texttt{))}</math>

|

Line 242: Line 242:

\end{matrix}</math>

|-

−

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]

| <math>\texttt{(} a, b, c \texttt{)}</math>

|

Line 253: Line 253:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]

| <math>\texttt{((} a, b, c \texttt{))}</math>

|

Line 264: Line 264:

\end{matrix}</math>

|-

−

| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|~~70px~~]]

+

| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]

| <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math>

|

Line 534: Line 534:

| <math>a \land b \land c</math>

|-

−

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]]

| <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math>

| <math>a ~\operatorname{or}~ b ~\operatorname{or}~ c</math>

Line 549: Line 549:

| <math>a \Rightarrow b</math>

|-

−

| height="120px" | [[Image:Cactus (A,B) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]

| <math>\texttt{(} a, b \texttt{)}</math>

|

Line 564: Line 564:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]

| <math>\texttt{((} a, b \texttt{))}</math>

|

Line 579: Line 579:

\end{matrix}</math>

|-

−

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|~~70px~~]]

+

| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]

| <math>\texttt{(} a, b, c \texttt{)}</math>

|

Line 598: Line 598:

\end{matrix}</math>

|-

−

| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|~~70px~~]]

+

| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]

| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>

|

Jon Awbrey

12,080

edits