Changes

MyWikiBiz, Author Your Legacy — Sunday October 26, 2025
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 03:53, 3 June 2009

522 bytes removed ,  03:53, 3 June 2009
reorganize
Line 10,577: Line 10,577:     
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
20.
  −
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
      
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
−
  −
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
   
</pre>
 
</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
 
Jon Awbrey
12,122

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/87590"

Navigation menu