12,224
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:38, 2 December 2015
, 18:38, 2 December 2015→Logical Cacti
==Discussion Area==
==Work Area • Logical Cacti==
…
; Theme One Program — Logical Cacti
; Theme One Program — Logical Cacti
|-
|-
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| <math>\texttt{(} a, b \texttt{)}</math>
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| <math>\texttt{((} a, b \texttt{))}</math>
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| <math>\texttt{(} a, b, c \texttt{)}</math>
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math>
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]]
| <math>\texttt{(} a, b \texttt{)}</math>
| <math>\texttt{(} a \texttt{,} b \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]]
| <math>\texttt{((} a, b \texttt{))}</math>
| <math>\texttt{((} a \texttt{,} b \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]]
| <math>\texttt{(} a, b, c \texttt{)}</math>
| <math>\texttt{(} a \texttt{,} b \texttt{,} c \texttt{)}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]]
| <math>\texttt{((} a, b, c \texttt{))}</math>
| <math>\texttt{((} a \texttt{,} b \texttt{,} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
| height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]]
| <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math>
| <math>\texttt{(((} a \texttt{),} b \texttt{,} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
| height="160px" | [[Image:Cactus (X,(A),(B),(C)) Big.jpg|90px]]
| <math>\texttt{(} x \texttt{,} \texttt{(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
| <math>\texttt{(} x \texttt{,(} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]]
| <math>\texttt{((} a \texttt{),} \texttt{(} b \texttt{),} \texttt{(} c \texttt{))}</math>
| <math>\texttt{((} a \texttt{),(} b \texttt{),(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
| height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]]
| <math>\texttt{(((} a \texttt{),} \texttt{(} b \texttt{),} \texttt{(} c \texttt{)))}</math>
| <math>\texttt{(((} a \texttt{),(} b \texttt{),(} c \texttt{)))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}
|-
|-
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]]
| <math>\texttt{(} a \texttt{,} \texttt{(} b \texttt{),} \texttt{(} c \texttt{))}</math>
| <math>\texttt{(} a \texttt{,(} b \texttt{),(} c \texttt{))}</math>
|
|
<math>\begin{matrix}
<math>\begin{matrix}