12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 03:53, 3 June 2009
, 03:53, 3 June 2009reorganize
Line 10,577:
Line 10,577:
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
20.
−o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
==Document History==
−===The Cactus Patch===
−<pre>
−| Subject: Inquiry Driven Systems : An Inquiry Into Inquiry
−| Contact: Jon Awbrey
−| Version: Draft 8.70
−| Created: 23 Jun 1996
−| Revised: 06 Jan 2002
−| Advisor: M.A. Zohdy
−| Setting: Oakland University, Rochester, Michigan, USA
−| Excerpt: Section 1.3.10 (Recurring Themes)
−| Excerpt: Subsections 1.3.10.8 - 1.3.10.13
−</pre>
−===Cactus Language===
−====Inquiry List (Mar 2003)====
−* http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
−* http://stderr.org/pipermail/inquiry/2003-March/000114.html
−====Inquiry List (Feb 2005)====
−* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
−* http://stderr.org/pipermail/inquiry/2005-February/002360.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
+</pre>
+
+==Document History==
+
+===The Cactus Patch===
+
+<pre>
+| Subject: Inquiry Driven Systems : An Inquiry Into Inquiry
+| Contact: Jon Awbrey
+| Version: Draft 8.70
+| Created: 23 Jun 1996
+| Revised: 06 Jan 2002
+| Advisor: M.A. Zohdy
+| Setting: Oakland University, Rochester, Michigan, USA
+| Excerpt: Section 1.3.10 (Recurring Themes)
+| Excerpt: Subsections 1.3.10.8 - 1.3.10.13
+</pre>
+
+===Cactus Language===
+
+====Inquiry List (Mar 2003)====
+
+* http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
+* http://stderr.org/pipermail/inquiry/2003-March/000114.html
+
+====Inquiry List (Feb 2005)====
+
+* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
+* http://stderr.org/pipermail/inquiry/2005-February/002360.html
+===Differential Logic===
+
+===Zeroth Order Logic===
+
+<pre>
Cactus Town Cartoons
Cactus Town Cartoons
01. http://suo.ieee.org/ontology/msg03567.html
01. http://suo.ieee.org/ontology/msg03567.html
02. http://suo.ieee.org/ontology/msg03571.html
02. http://suo.ieee.org/ontology/msg03571.html
−Differential Analytic Turing Automata (DATA)
Differential Analytic Turing Automata (DATA)
Line 10,589:
Line 10,621:
01. http://suo.ieee.org/ontology/msg00596.html
01. http://suo.ieee.org/ontology/msg00596.html
02. http://suo.ieee.org/ontology/msg00618.html
02. http://suo.ieee.org/ontology/msg00618.html
−Differential Logic
Differential Logic
Line 10,613:
Line 10,643:
18. http://suo.ieee.org/ontology/msg04079.html
18. http://suo.ieee.org/ontology/msg04079.html
19. http://suo.ieee.org/ontology/msg04080.html
19. http://suo.ieee.org/ontology/msg04080.html
−Extensions Of Logical Graphs
Extensions Of Logical Graphs
Line 10,626:
Line 10,653:
06. http://www.virtual-earth.de/CG/cg-list/old/msg03379.html
06. http://www.virtual-earth.de/CG/cg-list/old/msg03379.html
07. http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
07. http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
−Functional Conception Of Quantificational Logic
Functional Conception Of Quantificational Logic
Line 10,640:
Line 10,665:
08. http://suo.ieee.org/ontology/msg03582.html
08. http://suo.ieee.org/ontology/msg03582.html
09. http://suo.ieee.org/ontology/msg03583.html
09. http://suo.ieee.org/ontology/msg03583.html
−Propositional Equation Reasoning Systems (PERS)
Propositional Equation Reasoning Systems (PERS)
Line 10,662:
Line 10,685:
16. http://suo.ieee.org/email/msg04542.html
16. http://suo.ieee.org/email/msg04542.html
17. http://suo.ieee.org/email/msg04546.html
17. http://suo.ieee.org/email/msg04546.html
−Reflective Extension Of Logical Graphs (RefLog)
Reflective Extension Of Logical Graphs (RefLog)
01. http://suo.ieee.org/email/msg05694.html
01. http://suo.ieee.org/email/msg05694.html
−Sequential Interactions Generating Hypotheses
Sequential Interactions Generating Hypotheses
Line 10,676:
Line 10,695:
02. http://suo.ieee.org/email/msg02608.html
02. http://suo.ieee.org/email/msg02608.html
03. http://suo.ieee.org/email/msg03183.html
03. http://suo.ieee.org/email/msg03183.html
−Sowa's Top Level Categories
Sowa's Top Level Categories
Line 10,687:
Line 10,704:
04. http://suo.ieee.org/ontology/msg00048.html
04. http://suo.ieee.org/ontology/msg00048.html
05. http://suo.ieee.org/ontology/msg00051.html
05. http://suo.ieee.org/ontology/msg00051.html
−Zeroth Order Logic (ZOL)
Zeroth Order Logic (ZOL)
Line 10,701:
Line 10,716:
08. http://suo.ieee.org/email/msg01985.html
08. http://suo.ieee.org/email/msg01985.html
09. http://suo.ieee.org/email/msg01988.html
09. http://suo.ieee.org/email/msg01988.html
−Zeroth Order Theories (ZOT's)
Zeroth Order Theories (ZOT's)
Line 10,738:
Line 10,751:
31. http://suo.ieee.org/ontology/msg03723.html
31. http://suo.ieee.org/ontology/msg03723.html
32. http://suo.ieee.org/ontology/msg03724.html
32. http://suo.ieee.org/ontology/msg03724.html
−</pre>
</pre>
−