This site is supported by donations to The OEIS Foundation.
Cactus Language • Document History
From OeisWiki
Author: Jon Awbrey
• Overview • Part 1 • Part 2 • Part 3 • References • Document History •
Contents
- 1 Document History
- 1.1 The Cactus Patch
- 1.2 Aug 2000 • Extensions Of Logical Graphs
- 1.3 Sep 2000 • Zeroth Order Logic
- 1.4 Oct 2000 • All Liar, No Paradox
- 1.5 Nov 2000 • Sowa's Top Level Categories
- 1.6 Dec 2000 • Sequential Interactions Generating Hypotheses
- 1.7 Jan 2001 • Differential Analytic Turing Automata
- 1.8 Mar 2001 • Propositional Equation Reasoning Systems
- 1.9 Jul 2001 • Reflective Extension Of Logical Graphs
- 1.10 Dec 2001 • Functional Conception Of Quantificational Logic
- 1.11 Dec 2001 • Cactus Language
- 1.12 Jan 2002 • Zeroth Order Theories
- 1.13 Mar 2003 • Theme One Program • Logical Cacti
- 1.14 Feb 2005 • Theme One Program • Logical Cacti
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
- http://www.virtual-earth.de/CG/cg-list/old/msg03351.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03352.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03353.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03354.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03376.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03379.html
- http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
CG List • New Archive
- http://web.archive.org/web/20030723202219/http://mars.virtual-earth.de/pipermail/cg/2000q3/003592.html
- http://web.archive.org/web/20030723202341/http://mars.virtual-earth.de/pipermail/cg/2000q3/003593.html
- •
- http://web.archive.org/web/20030723202516/http://mars.virtual-earth.de/pipermail/cg/2000q3/003595.html
- •
- •
- •
CG List • Old Archive
- •
- http://web.archive.org/web/20020321115639/http://www.virtual-earth.de/CG/cg-list/msg03352.html
- •
- http://web.archive.org/web/20020321120331/http://www.virtual-earth.de/CG/cg-list/msg03354.html
- http://web.archive.org/web/20020321223131/http://www.virtual-earth.de/CG/cg-list/msg03376.html
- •
- http://web.archive.org/web/20020129134132/http://www.virtual-earth.de/CG/cg-list/msg03381.html
Sep 2000 • Zeroth Order Logic
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/thrd241.html#01246
- http://web.archive.org/web/20130306202443/http://suo.ieee.org/email/thrd242.html#01406
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01246.html
- http://web.archive.org/web/20080905054059/http://suo.ieee.org/email/msg01251.html
- http://web.archive.org/web/20070223033521/http://suo.ieee.org/email/msg01380.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01406.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01546.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01561.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01670.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01966.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg01985.html
- http://web.archive.org/web/20070401102902/http://suo.ieee.org/email/msg01988.html
Oct 2000 • All Liar, No Paradox
Nov 2000 • Sowa's Top Level Categories
What Language To Use
Zeroth Order Logic
TLC In KIF
- http://web.archive.org/web/20081204195421/http://suo.ieee.org/ontology/msg00048.html
- http://web.archive.org/web/20070320014557/http://suo.ieee.org/ontology/msg00051.html
Dec 2000 • Sequential Interactions Generating Hypotheses
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg02607.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg02608.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg03183.html
Jan 2001 • Differential Analytic Turing Automata
DATA • Arisbe List
- http://web.archive.org/web/20061013224128/http://stderr.org/pipermail/arisbe/2001-January/000182.html
- http://web.archive.org/web/20061013224814/http://stderr.org/pipermail/arisbe/2001-January/000200.html
DATA • Ontology List
- http://web.archive.org/web/20041021223934/http://suo.ieee.org/ontology/msg00596.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg00618.html
Mar 2001 • Propositional Equation Reasoning Systems
PERS • Arisbe List
- http://web.archive.org/web/20150107210802/http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
- http://web.archive.org/web/20150107212028/http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
- http://web.archive.org/web/20150107210011/http://stderr.org/pipermail/arisbe/2001-March/000380.html
- http://web.archive.org/web/20050920031758/http://stderr.org/pipermail/arisbe/2001-April/000407.html
- http://web.archive.org/web/20051202010243/http://stderr.org/pipermail/arisbe/2001-April/000409.html
- http://web.archive.org/web/20051202074355/http://stderr.org/pipermail/arisbe/2001-April/000411.html
- http://web.archive.org/web/20051202021217/http://stderr.org/pipermail/arisbe/2001-April/000412.html
- http://web.archive.org/web/20051201225716/http://stderr.org/pipermail/arisbe/2001-April/000413.html
- http://web.archive.org/web/20051202001736/http://stderr.org/pipermail/arisbe/2001-April/000416.html
- http://web.archive.org/web/20051202053817/http://stderr.org/pipermail/arisbe/2001-April/000417.html
- http://web.archive.org/web/20051202013458/http://stderr.org/pipermail/arisbe/2001-April/000421.html
- http://web.archive.org/web/20051202013024/http://stderr.org/pipermail/arisbe/2001-April/000427.html
- http://web.archive.org/web/20051202032812/http://stderr.org/pipermail/arisbe/2001-April/000428.html
- http://web.archive.org/web/20051201225109/http://stderr.org/pipermail/arisbe/2001-April/000430.html
- http://web.archive.org/web/20050908023250/http://stderr.org/pipermail/arisbe/2001-April/000432.html
- http://web.archive.org/web/20051202002952/http://stderr.org/pipermail/arisbe/2001-April/000433.html
- http://web.archive.org/web/20051201220336/http://stderr.org/pipermail/arisbe/2001-April/000434.html
- http://web.archive.org/web/20050906215058/http://stderr.org/pipermail/arisbe/2001-April/000435.html
PERS • Arisbe List • Discussion
PERS • Ontology List
- http://web.archive.org/web/20070326233418/http://suo.ieee.org/ontology/msg01779.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg01897.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02005.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02011.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02014.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02015.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02024.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02046.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02047.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02068.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02102.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02109.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02117.html
- http://web.archive.org/web/20040116001230/http://suo.ieee.org/ontology/msg02125.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02128.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02134.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg02138.html
PERS • SUO List
- http://web.archive.org/web/20140423181000/http://suo.ieee.org/email/msg04187.html
- http://web.archive.org/web/20070922193822/http://suo.ieee.org/email/msg04305.html
- http://web.archive.org/web/20071007170752/http://suo.ieee.org/email/msg04413.html
- http://web.archive.org/web/20070121063018/http://suo.ieee.org/email/msg04419.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04422.html
- http://web.archive.org/web/20070305132316/http://suo.ieee.org/email/msg04423.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04432.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04454.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04455.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04476.html
- http://web.archive.org/web/20060718091105/http://suo.ieee.org/email/msg04510.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04517.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04525.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04533.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04536.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/email/msg04542.html
- http://web.archive.org/web/20050824231950/http://suo.ieee.org/email/msg04546.html
Jul 2001 • Reflective Extension Of Logical Graphs
RefLog • Arisbe List
RefLog • SUO List
Dec 2001 • Functional Conception Of Quantificational Logic
FunLog • Arisbe List
- http://web.archive.org/web/20141005034614/http://stderr.org/pipermail/arisbe/2001-December/001212.html
- http://web.archive.org/web/20141005034615/http://stderr.org/pipermail/arisbe/2001-December/001213.html
- http://web.archive.org/web/20051202034557/http://stderr.org/pipermail/arisbe/2001-December/001216.html
- http://web.archive.org/web/20051202074331/http://stderr.org/pipermail/arisbe/2001-December/001221.html
- http://web.archive.org/web/20051201235028/http://stderr.org/pipermail/arisbe/2001-December/001222.html
- http://web.archive.org/web/20051202052037/http://stderr.org/pipermail/arisbe/2001-December/001223.html
- http://web.archive.org/web/20050827214411/http://stderr.org/pipermail/arisbe/2001-December/001224.html
- http://web.archive.org/web/20051202092500/http://stderr.org/pipermail/arisbe/2001-December/001225.html
- http://web.archive.org/web/20051202051942/http://stderr.org/pipermail/arisbe/2001-December/001226.html
- http://web.archive.org/web/20050425140213/http://stderr.org/pipermail/arisbe/2001-December/001227.html
FunLog • Ontology List
- http://web.archive.org/web/20110608022546/http://suo.ieee.org/ontology/msg03562.html
- http://web.archive.org/web/20110608022712/http://suo.ieee.org/ontology/msg03563.html
- http://web.archive.org/web/20110608023312/http://suo.ieee.org/ontology/msg03564.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03565.html
- http://web.archive.org/web/20070812011325/http://suo.ieee.org/ontology/msg03569.html
- http://web.archive.org/web/20110608023228/http://suo.ieee.org/ontology/msg03570.html
- http://web.archive.org/web/20110608022616/http://suo.ieee.org/ontology/msg03568.html
- http://web.archive.org/web/20110608023557/http://suo.ieee.org/ontology/msg03572.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03577.html
- http://web.archive.org/web/20070317021141/http://suo.ieee.org/ontology/msg03578.html
- http://web.archive.org/web/20110608021549/http://suo.ieee.org/ontology/msg03579.html
- http://web.archive.org/web/20110608021332/http://suo.ieee.org/ontology/msg03580.html
- http://web.archive.org/web/20110608020250/http://suo.ieee.org/ontology/msg03581.html
- http://web.archive.org/web/20110608021344/http://suo.ieee.org/ontology/msg03582.html
- http://web.archive.org/web/20110608021557/http://suo.ieee.org/ontology/msg03583.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg04247.html
Dec 2001 • Cactus Language
Cactus Town Cartoons • Arisbe List
- http://web.archive.org/web/20050825005438/http://stderr.org/pipermail/arisbe/2001-December/001214.html
- http://web.archive.org/web/20051202101235/http://stderr.org/pipermail/arisbe/2001-December/001217.html
Cactus Town Cartoons • Ontology List
- http://web.archive.org/web/20110608023426/http://suo.ieee.org/ontology/msg03567.html
- http://web.archive.org/web/20110608024449/http://suo.ieee.org/ontology/msg03571.html
Jan 2002 • Zeroth Order Theories
ZOT • Arisbe List
- http://web.archive.org/web/20150109042401/http://stderr.org/pipermail/arisbe/2002-January/001293.html
- http://web.archive.org/web/20150109042402/http://stderr.org/pipermail/arisbe/2002-January/001294.html
- http://web.archive.org/web/20050503213326/http://stderr.org/pipermail/arisbe/2002-January/001295.html
- http://web.archive.org/web/20050503213330/http://stderr.org/pipermail/arisbe/2002-January/001296.html
- http://web.archive.org/web/20050504070444/http://stderr.org/pipermail/arisbe/2002-January/001299.html
- http://web.archive.org/web/20050504070430/http://stderr.org/pipermail/arisbe/2002-January/001300.html
- http://web.archive.org/web/20050504070700/http://stderr.org/pipermail/arisbe/2002-January/001301.html
- http://web.archive.org/web/20050504070704/http://stderr.org/pipermail/arisbe/2002-January/001302.html
- http://web.archive.org/web/20050504070712/http://stderr.org/pipermail/arisbe/2002-January/001304.html
- http://web.archive.org/web/20050504070717/http://stderr.org/pipermail/arisbe/2002-January/001305.html
- http://web.archive.org/web/20050504070722/http://stderr.org/pipermail/arisbe/2002-January/001306.html
- http://web.archive.org/web/20050504070726/http://stderr.org/pipermail/arisbe/2002-January/001308.html
- http://web.archive.org/web/20050504070730/http://stderr.org/pipermail/arisbe/2002-January/001309.html
- http://web.archive.org/web/20050504070434/http://stderr.org/pipermail/arisbe/2002-January/001310.html
- http://web.archive.org/web/20050504070742/http://stderr.org/pipermail/arisbe/2002-January/001313.html
- http://web.archive.org/web/20050504070746/http://stderr.org/pipermail/arisbe/2002-January/001314.html
- http://web.archive.org/web/20050504070438/http://stderr.org/pipermail/arisbe/2002-January/001315.html
- http://web.archive.org/web/20050504070540/http://stderr.org/pipermail/arisbe/2002-January/001316.html
- http://web.archive.org/web/20050504070750/http://stderr.org/pipermail/arisbe/2002-January/001317.html
ZOT • Arisbe List • Discussion
- http://web.archive.org/web/20050503213334/http://stderr.org/pipermail/arisbe/2002-January/001297.html
- http://web.archive.org/web/20050504070656/http://stderr.org/pipermail/arisbe/2002-January/001298.html
- http://web.archive.org/web/20050504070708/http://stderr.org/pipermail/arisbe/2002-January/001303.html
- http://web.archive.org/web/20050504070544/http://stderr.org/pipermail/arisbe/2002-January/001307.html
- http://web.archive.org/web/20050504070734/http://stderr.org/pipermail/arisbe/2002-January/001311.html
- http://web.archive.org/web/20050504070738/http://stderr.org/pipermail/arisbe/2002-January/001312.html
- http://web.archive.org/web/20050504070755/http://stderr.org/pipermail/arisbe/2002-January/001318.html
ZOT • Ontology List
- http://web.archive.org/web/20070323210742/http://suo.ieee.org/ontology/msg03680.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03681.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03682.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03683.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03691.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03693.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03695.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03696.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03701.html
- http://web.archive.org/web/20070329211521/http://suo.ieee.org/ontology/msg03702.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03703.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03706.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03707.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03708.html
- http://web.archive.org/web/20080620074722/http://suo.ieee.org/ontology/msg03712.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03715.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03716.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03717.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03718.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03721.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03722.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03723.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03724.html
ZOT • Ontology List • Discussion
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/thrd35.html#03680
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/thrd35.html#03697
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03684.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03685.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03686.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03687.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03689.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03690.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03694.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03697.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03698.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03699.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03700.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03704.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03705.html
- http://web.archive.org/web/20070330093628/http://suo.ieee.org/ontology/msg03709.html
- http://web.archive.org/web/20080705071714/http://suo.ieee.org/ontology/msg03710.html
- http://web.archive.org/web/20080620010020/http://suo.ieee.org/ontology/msg03711.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03713.html
- http://web.archive.org/web/20080620074749/http://suo.ieee.org/ontology/msg03714.html
- http://web.archive.org/web/20061005100254/http://suo.ieee.org/ontology/msg03719.html
- http://web.archive.org/web/20070705085032/http://suo.ieee.org/ontology/msg03720.html
Mar 2003 • Theme One Program • Logical Cacti
- http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
- http://web.archive.org/web/20150224210000/http://stderr.org/pipermail/inquiry/2003-March/thread.html#114
- http://web.archive.org/web/20081007043317/http://stderr.org/pipermail/inquiry/2003-March/000114.html
- http://web.archive.org/web/20080908075558/http://stderr.org/pipermail/inquiry/2003-March/000115.html
- http://web.archive.org/web/20080908080336/http://stderr.org/pipermail/inquiry/2003-March/000116.html
Feb 2005 • Theme One Program • Logical Cacti
- http://web.archive.org/web/20150109155110/http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
- http://web.archive.org/web/20150109155110/http://stderr.org/pipermail/inquiry/2005-February/thread.html#2360
- http://web.archive.org/web/20150109152359/http://stderr.org/pipermail/inquiry/2005-February/002360.html
- http://web.archive.org/web/20150109152401/http://stderr.org/pipermail/inquiry/2005-February/002361.html
- http://web.archive.org/web/20061013233259/http://stderr.org/pipermail/inquiry/2005-February/002362.html
- http://web.archive.org/web/20081121103109/http://stderr.org/pipermail/inquiry/2005-February/002363.html
• Overview • Part 1 • Part 2 • Part 3 • References • Document History •
Categories:
- Adaptive systems
- Artificial intelligence
- Boolean algebra
- Boolean functions
- Category theory
- Combinatorics
- Computation theory
- Cybernetics
- Differential logic
- Discrete systems
- Dynamical systems
- Formal languages
- Formal sciences
- Formal systems
- Functional logic
- Graph theory
- Group theory
- Logic
- Logical graphs
- Neural networks
- Peirce, Charles Sanders
- Semiotics
- Systems theory
- Visualization