12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 18:06, 3 June 2009
, 18:06, 3 June 2009→Document History: sort by date
Line 6,842:
Line 6,842:
===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
| Excerpt: Subsections 1.3.10.8 - 1.3.10.13
| Excerpt: Subsections 1.3.10.8 - 1.3.10.13
</pre>
</pre>
−===Zeroth Order Logic===
===Zeroth Order Logic===
−====Aug 2000 : Extensions Of Logical Graphs====
+====Aug 2000 — Extensions Of Logical Graphs====
=====Web Archive=====
=====Web Archive=====
Line 6,878:
Line 6,866:
# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
# http://www.virtual-earth.de/CG/cg-list/old/msg03381.html
−====Sep 2000 : Zeroth Order Logic====
+====Sep 2000 — Zeroth Order Logic====
* http://suo.ieee.org/email/thrd244.html#01246
* http://suo.ieee.org/email/thrd244.html#01246
Line 6,891:
Line 6,879:
# http://suo.ieee.org/email/msg01988.html
# http://suo.ieee.org/email/msg01988.html
−====Oct 2000 : All Liar, No Paradox====
+====Oct 2000 — All Liar, No Paradox====
* http://suo.ieee.org/email/thrd235.html#01739
* http://suo.ieee.org/email/thrd235.html#01739
# http://suo.ieee.org/email/msg01739.html
# http://suo.ieee.org/email/msg01739.html
−====Nov 2000 : Sowa's Top Level Categories====
+====Nov 2000 — Sowa's Top Level Categories====
* http://suo.ieee.org/email/thrd231.html#01956
* http://suo.ieee.org/email/thrd231.html#01956
Line 6,905:
Line 6,893:
# http://suo.ieee.org/ontology/msg00051.html
# http://suo.ieee.org/ontology/msg00051.html
−====Dec 2000 : Sequential Interactions Generating Hypotheses====
+====Dec 2000 — Sequential Interactions Generating Hypotheses====
* http://suo.ieee.org/email/thrd216.html#02607
* http://suo.ieee.org/email/thrd216.html#02607
Line 6,912:
Line 6,900:
# http://suo.ieee.org/email/msg03183.html
# http://suo.ieee.org/email/msg03183.html
−====Jan 2001 : Differential Analytic Turing Automata====
+====Jan 2001 — Differential Analytic Turing Automata====
* http://stderr.org/pipermail/arisbe/2001-January/thread.html#182
* http://stderr.org/pipermail/arisbe/2001-January/thread.html#182
* http://suo.ieee.org/ontology/thrd95.html#00596
* http://suo.ieee.org/ontology/thrd95.html#00596
−====Mar 2001 : Propositional Equation Reasoning Systems====
+====Mar 2001 — Propositional Equation Reasoning Systems====
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
* http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
Line 6,924:
Line 6,912:
* http://suo.ieee.org/email/thrd186.html#04187
* http://suo.ieee.org/email/thrd186.html#04187
−====Jul 2001 : Reflective Extension Of Logical Graphs====
+====Jul 2001 — Reflective Extension Of Logical Graphs====
* http://stderr.org/pipermail/arisbe/2001-July/000711.html
* http://stderr.org/pipermail/arisbe/2001-July/000711.html
* http://suo.ieee.org/email/thrd159.html#05694
* http://suo.ieee.org/email/thrd159.html#05694
−====Dec 2001 : Functional Conception Of Quantificational Logic====
+====Dec 2001 — Functional Conception Of Quantificational Logic====
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1212
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1212
* http://suo.ieee.org/ontology/thrd38.html#03562
* http://suo.ieee.org/ontology/thrd38.html#03562
−====Dec 2001 : Cactus Town Cartoons====
+====Dec 2001 — Cactus Town Cartoons====
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1214
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1214
* http://suo.ieee.org/ontology/thrd38.html#03567
* http://suo.ieee.org/ontology/thrd38.html#03567
−====Jan 2002 : Zeroth Order Theories====
+====Jan 2002 — Zeroth Order Theories====
* http://stderr.org/pipermail/arisbe/2002-January/thread.html#1293
* http://stderr.org/pipermail/arisbe/2002-January/thread.html#1293
* http://suo.ieee.org/ontology/thrd35.html#03680
* http://suo.ieee.org/ontology/thrd35.html#03680
+
+===Cactus Language===
+
+====Mar 2003 — Theme One Program : Logical Cacti====
+
+* http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
+* http://stderr.org/pipermail/inquiry/2003-March/000114.html
+
+====Feb 2005 — Theme One Program : Logical Cacti====
+
+* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
+* http://stderr.org/pipermail/inquiry/2005-February/002360.html