ONT Re: Alpha Graph Exercises
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
AGE. Note 4
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
I will on occasion make 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" by graph theorists.
The last exposition of the cactus syntax that I've written
can be found here:
| Jon Awbrey, "Propositional Equation Reasoning Systems" (PERS)
| PERS. http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o