Line 6,842: |
Line 6,842: |
| | Excerpt: Subsections 1.3.10.8 - 1.3.10.13 | | | Excerpt: Subsections 1.3.10.8 - 1.3.10.13 |
| </pre> | | </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
| |
| | | |
| ===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 |