This site is supported by donations to The OEIS Foundation.

Cactus Language • Document History

From OeisWiki
Jump to: navigation, search

Author: Jon Awbrey


OverviewPart 1Part 2Part 3ReferencesDocument History


Document History

The Cactus Patch

| 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

Aug 2000 • Extensions Of Logical Graphs

CG List • Lost Links

  1. http://www.virtual-earth.de/CG/cg-list/old/msg03351.html
  2. http://www.virtual-earth.de/CG/cg-list/old/msg03352.html
  3. http://www.virtual-earth.de/CG/cg-list/old/msg03353.html
  4. http://www.virtual-earth.de/CG/cg-list/old/msg03354.html
  5. http://www.virtual-earth.de/CG/cg-list/old/msg03376.html
  6. http://www.virtual-earth.de/CG/cg-list/old/msg03379.html
  7. http://www.virtual-earth.de/CG/cg-list/old/msg03381.html

CG List • New Archive

  1. http://web.archive.org/web/20030723202219/http://mars.virtual-earth.de/pipermail/cg/2000q3/003592.html
  2. http://web.archive.org/web/20030723202341/http://mars.virtual-earth.de/pipermail/cg/2000q3/003593.html
  3. http://web.archive.org/web/20030723202516/http://mars.virtual-earth.de/pipermail/cg/2000q3/003595.html

CG List • Old Archive

  1. http://web.archive.org/web/20020321115639/http://www.virtual-earth.de/CG/cg-list/msg03352.html
  2. http://web.archive.org/web/20020321120331/http://www.virtual-earth.de/CG/cg-list/msg03354.html
  3. http://web.archive.org/web/20020321223131/http://www.virtual-earth.de/CG/cg-list/msg03376.html
  4. http://web.archive.org/web/20020129134132/http://www.virtual-earth.de/CG/cg-list/msg03381.html

Sep 2000 • Zeroth Order Logic

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01246.html
  2. http://web.archive.org/web/20080905054059/http://suo.ieee.org/email/msg01251.html
  3. http://web.archive.org/web/20070223033521/http://suo.ieee.org/email/msg01380.html
  4. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01406.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01546.html
  6. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01561.html
  7. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01670.html
  8. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01966.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01985.html
  10. http://web.archive.org/web/20070401102902/http://suo.ieee.org/email/msg01988.html

Oct 2000 • All Liar, No Paradox

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01739.html

Nov 2000 • Sowa's Top Level Categories

What Language To Use

  1. http://web.archive.org/web/20070320012929/http://suo.ieee.org/email/msg01956.html

Zeroth Order Logic

  1. http://web.archive.org/web/20070320012940/http://suo.ieee.org/email/msg01966.html

TLC In KIF

  1. http://web.archive.org/web/20081204195421/http://suo.ieee.org/ontology/msg00048.html
  2. http://web.archive.org/web/20070320014557/http://suo.ieee.org/ontology/msg00051.html

Dec 2000 • Sequential Interactions Generating Hypotheses

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg02607.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg02608.html
  3. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg03183.html

Jan 2001 • Differential Analytic Turing Automata

DATA • Arisbe List

  1. http://web.archive.org/web/20061013224128/http://stderr.org/pipermail/arisbe/2001-January/000182.html
  2. http://web.archive.org/web/20061013224814/http://stderr.org/pipermail/arisbe/2001-January/000200.html

DATA • Ontology List

  1. http://web.archive.org/web/20041021223934/http://suo.ieee.org/ontology/msg00596.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg00618.html

Mar 2001 • Propositional Equation Reasoning Systems

PERS • Arisbe List

  1. http://web.archive.org/web/20150107210011/http://stderr.org/pipermail/arisbe/2001-March/000380.html
  2. http://web.archive.org/web/20050920031758/http://stderr.org/pipermail/arisbe/2001-April/000407.html
  3. http://web.archive.org/web/20051202010243/http://stderr.org/pipermail/arisbe/2001-April/000409.html
  4. http://web.archive.org/web/20051202074355/http://stderr.org/pipermail/arisbe/2001-April/000411.html
  5. http://web.archive.org/web/20051202021217/http://stderr.org/pipermail/arisbe/2001-April/000412.html
  6. http://web.archive.org/web/20051201225716/http://stderr.org/pipermail/arisbe/2001-April/000413.html
  7. http://web.archive.org/web/20051202001736/http://stderr.org/pipermail/arisbe/2001-April/000416.html
  8. http://web.archive.org/web/20051202053817/http://stderr.org/pipermail/arisbe/2001-April/000417.html
  9. http://web.archive.org/web/20051202013458/http://stderr.org/pipermail/arisbe/2001-April/000421.html
  10. http://web.archive.org/web/20051202013024/http://stderr.org/pipermail/arisbe/2001-April/000427.html
  11. http://web.archive.org/web/20051202032812/http://stderr.org/pipermail/arisbe/2001-April/000428.html
  12. http://web.archive.org/web/20051201225109/http://stderr.org/pipermail/arisbe/2001-April/000430.html
  13. http://web.archive.org/web/20050908023250/http://stderr.org/pipermail/arisbe/2001-April/000432.html
  14. http://web.archive.org/web/20051202002952/http://stderr.org/pipermail/arisbe/2001-April/000433.html
  15. http://web.archive.org/web/20051201220336/http://stderr.org/pipermail/arisbe/2001-April/000434.html
  16. http://web.archive.org/web/20050906215058/http://stderr.org/pipermail/arisbe/2001-April/000435.html

PERS • Arisbe List • Discussion

  1. http://web.archive.org/web/20150107212003/http://stderr.org/pipermail/arisbe/2001-April/000397.html

PERS • Ontology List

  1. http://web.archive.org/web/20070326233418/http://suo.ieee.org/ontology/msg01779.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg01897.html
  3. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02005.html
  4. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02011.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02014.html
  6. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02015.html
  7. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02024.html
  8. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02046.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02047.html
  10. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02068.html
  11. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02102.html
  12. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02109.html
  13. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02117.html
  14. http://web.archive.org/web/20040116001230/http://suo.ieee.org/ontology/msg02125.html
  15. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02128.html
  16. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02134.html
  17. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02138.html

PERS • SUO List

  1. http://web.archive.org/web/20140423181000/http://suo.ieee.org/email/msg04187.html
  2. http://web.archive.org/web/20070922193822/http://suo.ieee.org/email/msg04305.html
  3. http://web.archive.org/web/20071007170752/http://suo.ieee.org/email/msg04413.html
  4. http://web.archive.org/web/20070121063018/http://suo.ieee.org/email/msg04419.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04422.html
  6. http://web.archive.org/web/20070305132316/http://suo.ieee.org/email/msg04423.html
  7. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04432.html
  8. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04454.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04455.html
  10. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04476.html
  11. http://web.archive.org/web/20060718091105/http://suo.ieee.org/email/msg04510.html
  12. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04517.html
  13. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04525.html
  14. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04533.html
  15. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04536.html
  16. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04542.html
  17. http://web.archive.org/web/20050824231950/http://suo.ieee.org/email/msg04546.html

Jul 2001 • Reflective Extension Of Logical Graphs

RefLog • Arisbe List

  1. http://web.archive.org/web/20150109141000/http://stderr.org/pipermail/arisbe/2001-July/000711.html

RefLog • SUO List

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg05694.html

Dec 2001 • Functional Conception Of Quantificational Logic

FunLog • Arisbe List

  1. http://web.archive.org/web/20141005034614/http://stderr.org/pipermail/arisbe/2001-December/001212.html
  2. http://web.archive.org/web/20141005034615/http://stderr.org/pipermail/arisbe/2001-December/001213.html
  3. http://web.archive.org/web/20051202034557/http://stderr.org/pipermail/arisbe/2001-December/001216.html
  4. http://web.archive.org/web/20051202074331/http://stderr.org/pipermail/arisbe/2001-December/001221.html
  5. http://web.archive.org/web/20051201235028/http://stderr.org/pipermail/arisbe/2001-December/001222.html
  6. http://web.archive.org/web/20051202052037/http://stderr.org/pipermail/arisbe/2001-December/001223.html
  7. http://web.archive.org/web/20050827214411/http://stderr.org/pipermail/arisbe/2001-December/001224.html
  8. http://web.archive.org/web/20051202092500/http://stderr.org/pipermail/arisbe/2001-December/001225.html
  9. http://web.archive.org/web/20051202051942/http://stderr.org/pipermail/arisbe/2001-December/001226.html
  10. http://web.archive.org/web/20050425140213/http://stderr.org/pipermail/arisbe/2001-December/001227.html

FunLog • Ontology List

  1. http://web.archive.org/web/20110608022546/http://suo.ieee.org/ontology/msg03562.html
  2. http://web.archive.org/web/20110608022712/http://suo.ieee.org/ontology/msg03563.html
  3. http://web.archive.org/web/20110608023312/http://suo.ieee.org/ontology/msg03564.html
  4. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03565.html
  5. http://web.archive.org/web/20070812011325/http://suo.ieee.org/ontology/msg03569.html
  6. http://web.archive.org/web/20110608023228/http://suo.ieee.org/ontology/msg03570.html
  7. http://web.archive.org/web/20110608022616/http://suo.ieee.org/ontology/msg03568.html
  8. http://web.archive.org/web/20110608023557/http://suo.ieee.org/ontology/msg03572.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03577.html
  10. http://web.archive.org/web/20070317021141/http://suo.ieee.org/ontology/msg03578.html
  11. http://web.archive.org/web/20110608021549/http://suo.ieee.org/ontology/msg03579.html
  12. http://web.archive.org/web/20110608021332/http://suo.ieee.org/ontology/msg03580.html
  13. http://web.archive.org/web/20110608020250/http://suo.ieee.org/ontology/msg03581.html
  14. http://web.archive.org/web/20110608021344/http://suo.ieee.org/ontology/msg03582.html
  15. http://web.archive.org/web/20110608021557/http://suo.ieee.org/ontology/msg03583.html
  16. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04247.html

Dec 2001 • Cactus Language

Cactus Town Cartoons • Arisbe List

  1. http://web.archive.org/web/20050825005438/http://stderr.org/pipermail/arisbe/2001-December/001214.html
  2. http://web.archive.org/web/20051202101235/http://stderr.org/pipermail/arisbe/2001-December/001217.html

Cactus Town Cartoons • Ontology List

  1. http://web.archive.org/web/20110608023426/http://suo.ieee.org/ontology/msg03567.html
  2. http://web.archive.org/web/20110608024449/http://suo.ieee.org/ontology/msg03571.html

Jan 2002 • Zeroth Order Theories

ZOT • Arisbe List

  1. http://web.archive.org/web/20150109042401/http://stderr.org/pipermail/arisbe/2002-January/001293.html
  2. http://web.archive.org/web/20150109042402/http://stderr.org/pipermail/arisbe/2002-January/001294.html
  3. http://web.archive.org/web/20050503213326/http://stderr.org/pipermail/arisbe/2002-January/001295.html
  4. http://web.archive.org/web/20050503213330/http://stderr.org/pipermail/arisbe/2002-January/001296.html
  5. http://web.archive.org/web/20050504070444/http://stderr.org/pipermail/arisbe/2002-January/001299.html
  6. http://web.archive.org/web/20050504070430/http://stderr.org/pipermail/arisbe/2002-January/001300.html
  7. http://web.archive.org/web/20050504070700/http://stderr.org/pipermail/arisbe/2002-January/001301.html
  8. http://web.archive.org/web/20050504070704/http://stderr.org/pipermail/arisbe/2002-January/001302.html
  9. http://web.archive.org/web/20050504070712/http://stderr.org/pipermail/arisbe/2002-January/001304.html
  10. http://web.archive.org/web/20050504070717/http://stderr.org/pipermail/arisbe/2002-January/001305.html
  11. http://web.archive.org/web/20050504070722/http://stderr.org/pipermail/arisbe/2002-January/001306.html
  12. http://web.archive.org/web/20050504070726/http://stderr.org/pipermail/arisbe/2002-January/001308.html
  13. http://web.archive.org/web/20050504070730/http://stderr.org/pipermail/arisbe/2002-January/001309.html
  14. http://web.archive.org/web/20050504070434/http://stderr.org/pipermail/arisbe/2002-January/001310.html
  15. http://web.archive.org/web/20050504070742/http://stderr.org/pipermail/arisbe/2002-January/001313.html
  16. http://web.archive.org/web/20050504070746/http://stderr.org/pipermail/arisbe/2002-January/001314.html
  17. http://web.archive.org/web/20050504070438/http://stderr.org/pipermail/arisbe/2002-January/001315.html
  18. http://web.archive.org/web/20050504070540/http://stderr.org/pipermail/arisbe/2002-January/001316.html
  19. http://web.archive.org/web/20050504070750/http://stderr.org/pipermail/arisbe/2002-January/001317.html

ZOT • Arisbe List • Discussion

  1. http://web.archive.org/web/20050503213334/http://stderr.org/pipermail/arisbe/2002-January/001297.html
  2. http://web.archive.org/web/20050504070656/http://stderr.org/pipermail/arisbe/2002-January/001298.html
  3. http://web.archive.org/web/20050504070708/http://stderr.org/pipermail/arisbe/2002-January/001303.html
  4. http://web.archive.org/web/20050504070544/http://stderr.org/pipermail/arisbe/2002-January/001307.html
  5. http://web.archive.org/web/20050504070734/http://stderr.org/pipermail/arisbe/2002-January/001311.html
  6. http://web.archive.org/web/20050504070738/http://stderr.org/pipermail/arisbe/2002-January/001312.html
  7. http://web.archive.org/web/20050504070755/http://stderr.org/pipermail/arisbe/2002-January/001318.html

ZOT • Ontology List

  1. http://web.archive.org/web/20070323210742/http://suo.ieee.org/ontology/msg03680.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03681.html
  3. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03682.html
  4. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03683.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03691.html
  6. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03693.html
  7. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03695.html
  8. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03696.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03701.html
  10. http://web.archive.org/web/20070329211521/http://suo.ieee.org/ontology/msg03702.html
  11. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03703.html
  12. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03706.html
  13. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03707.html
  14. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03708.html
  15. http://web.archive.org/web/20080620074722/http://suo.ieee.org/ontology/msg03712.html
  16. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03715.html
  17. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03716.html
  18. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03717.html
  19. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03718.html
  20. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03721.html
  21. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03722.html
  22. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03723.html
  23. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03724.html

ZOT • Ontology List • Discussion

  1. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03684.html
  2. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03685.html
  3. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03686.html
  4. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03687.html
  5. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03689.html
  6. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03690.html
  7. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03694.html
  8. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03697.html
  9. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03698.html
  10. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03699.html
  11. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03700.html
  12. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03704.html
  13. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03705.html
  14. http://web.archive.org/web/20070330093628/http://suo.ieee.org/ontology/msg03709.html
  15. http://web.archive.org/web/20080705071714/http://suo.ieee.org/ontology/msg03710.html
  16. http://web.archive.org/web/20080620010020/http://suo.ieee.org/ontology/msg03711.html
  17. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03713.html
  18. http://web.archive.org/web/20080620074749/http://suo.ieee.org/ontology/msg03714.html
  19. http://web.archive.org/web/20061005100254/http://suo.ieee.org/ontology/msg03719.html
  20. http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03720.html

Mar 2003 • Theme One Program • Logical Cacti

  1. http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-March/000114.html
  2. http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-March/000115.html
  3. http://web.archive.org/web/20080908080336/http://stderr.org/pipermail/inquiry/2003-March/000116.html

Feb 2005 • Theme One Program • Logical Cacti

  1. http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-February/002360.html
  2. http://web.archive.org/web/20150109152401/http://stderr.org/pipermail/inquiry/2005-February/002361.html
  3. http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-February/002362.html
  4. http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-February/002363.html

OverviewPart 1Part 2Part 3ReferencesDocument History