Changes

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

53 bytes removed , 21:22, 29 June 2009

Line 5: Line 5:

==Work Area==

−

~~<pre>~~

+

===Logical Cacti===

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~TOP~~. ~~Expository Note 13~~

+

; Theme One Program — Logical Cacti

−

+

: http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

+

: http://stderr.org/pipermail/inquiry/2005-February/002360.html

−

+

: http://stderr.org/pipermail/inquiry/2005-February/002361.html

−

3.3. ~~Logical Cacti~~

+

<pre>

Up till now we've been working to hammer out a two-edged sword of syntax,

honing the syntax of "painted and rooted cacti and expressions" (PARCAE),

Line 239: Line 238:

| | | | |

o----o-------------------o-------------------o-------------------o

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~TOP. Expository Note 14~~

−

~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~

−

~~3.3. Logical Cacti (cont.)~~

For the time being, the main things to take away from Tables 13 and 14 are

12,080

edits