Changes

==Note 2==

==Note 2==

I will be making use of the ''cactus language'' extension of Peirce's Alpha Graphs, so called because it uses a species of graphs that are usually called "cacti" in graph theory. The last exposition of the cactus syntax that I've written can be found here:

I will be making use of the "cactus language" extension of

Peirce's Alpha Graphs, so called because it uses a species

of graphs that are usually called "cacti" in graph theory.

The last exposition of the cactus syntax that I've written

can be found here:

:* [http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems Propositional Equation Reasoning Systems (PERS)]

http://stderr.org/pipermail/inquiry/2003-March/thread.html#126

The representational and computational efficiency of the

The representational and computational efficiency of the cactus language for the tasks that are usually associated with boolean algebra and propositional calculus makes it possible to entertain a further extension, to what we may call ''differential logic'', because it develops this basic level of logic in the same way that differential calculus augments analytic geometry to handle change and diversity. There are several different introductions to differential logic that I have written and distributed across the Internet. You might start with the following couple of treatments:

cactus language for the tasks that are usually associated

with boolean algebra and propositional calculus makes it

possible to entertain a further extension, to what we may

call "differential logic", because it develops this basic

level of logic in the same way that differential calculus

augments analytic geometry to handle change and diversity.

There are several different intros to differential logic

that I have written and distributed across the internet.

You might start with the following couple of treatments:

DLOG A.  http://stderr.org/pipermail/inquiry/2004-February/thread.html#1132

:* [http://stderr.org/pipermail/inquiry/2004-February/thread.html#1132 Differential Logic A]

DLOG B.  http://stderr.org/pipermail/inquiry/2004-February/thread.html#1160

:* [http://stderr.org/pipermail/inquiry/2004-February/thread.html#1160 Differential Logic B]

I am continually rewriting these presentations

I am currently rewriting these presentations in hopes of making them as clear as they can be, so please let me know if you have any questions.

in hopes of making them as clear as they can be,

so please let me know if you have any questions.

==Note 3==

==Note 3==