User:Jon Awbrey/HISTORY

2000

Aug — Extensions Of Logical Graphs

Web Archive

• http://web.archive.org/web/20030721063609/mars.virtual-earth.de/pipermail/cg/2000q3/thread.html#3592

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

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

Sep — Zeroth Order Logic

• http://suo.ieee.org/email/thrd244.html#01246
• http://suo.ieee.org/email/thrd241.html#01406

1. http://suo.ieee.org/email/msg01246.html
2. http://suo.ieee.org/email/msg01406.html
3. http://suo.ieee.org/email/msg01546.html
4. http://suo.ieee.org/email/msg01561.html
5. http://suo.ieee.org/email/msg01670.html
6. http://suo.ieee.org/email/msg01966.html
7. http://suo.ieee.org/email/msg01985.html
8. http://suo.ieee.org/email/msg01988.html

Oct — All Liar, No Paradox

• http://suo.ieee.org/email/thrd235.html#01739

1. http://suo.ieee.org/email/msg01739.html

Nov — Sowa's Top Level Categories

• http://suo.ieee.org/email/thrd231.html#01956
• http://suo.ieee.org/ontology/thrd110.html#00048

1. http://suo.ieee.org/email/msg01956.html
2. http://suo.ieee.org/email/msg01966.html
3. http://suo.ieee.org/ontology/msg00048.html
4. http://suo.ieee.org/ontology/msg00051.html

Dec — Sequential Interactions Generating Hypotheses

• http://suo.ieee.org/email/thrd216.html#02607

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

2001

Jan — Differential Analytic Turing Automata

• http://stderr.org/pipermail/arisbe/2001-January/thread.html#182
• http://suo.ieee.org/ontology/thrd95.html#00596

Mar — Propositional Equation Reasoning Systems

• http://stderr.org/pipermail/arisbe/2001-March/thread.html#380
• http://stderr.org/pipermail/arisbe/2001-April/thread.html#407
• http://suo.ieee.org/ontology/thrd74.html#01779
• http://suo.ieee.org/email/thrd186.html#04187

Jul — Reflective Extension Of Logical Graphs

• http://stderr.org/pipermail/arisbe/2001-July/000711.html
• http://suo.ieee.org/email/thrd159.html#05694

Dec — Functional Conception Of Quantificational Logic

• http://stderr.org/pipermail/arisbe/2001-December/thread.html#1212
• http://suo.ieee.org/ontology/thrd38.html#03562

Dec — Cactus Town Cartoons

• http://stderr.org/pipermail/arisbe/2001-December/thread.html#1214
• http://suo.ieee.org/ontology/thrd38.html#03567

2002

Jan — Zeroth Order Theories

• http://stderr.org/pipermail/arisbe/2002-January/thread.html#1293
• http://suo.ieee.org/ontology/thrd35.html#03680

2003

Mar — Theme One Program : Logical Cacti

• http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
• http://stderr.org/pipermail/inquiry/2003-March/000114.html

2004

Feb — Differential Logic A

• http://stderr.org/pipermail/inquiry/2004-February/thread.html#1132

Feb — Differential Logic B

• http://stderr.org/pipermail/inquiry/2004-February/thread.html#1160

Feb — Differential Logic C

• http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178

Apr — Propositional Equation Reasoning Systems

• http://forum.wolframscience.com/archive/topic/297-1.html
• http://forum.wolframscience.com/printthread.php?threadid=297
• http://forum.wolframscience.com/showthread.php?threadid=297
• http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
• http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391

May — Dynamics And Logic

• http://forum.wolframscience.com/showthread.php?threadid=420
• http://stderr.org/pipermail/inquiry/2004-May/thread.html#1400
• http://stderr.org/pipermail/inquiry/2004-July/thread.html#1685

Nov — Change In Logic

• http://forum.wolframscience.com/showthread.php?threadid=632
• http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033

Dec — Differential Logic and Dynamic Systems

• http://forum.wolframscience.com/showthread.php?threadid=636
• http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042

2005

Jan — Cactus Language, Operator Variables, Reflection

• http://forum.wolframscience.com/showthread.php?threadid=755
• http://stderr.org/pipermail/inquiry/2005-January/thread.html#2245

Feb — Theme One Program : Logical Cacti

• http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
• http://stderr.org/pipermail/inquiry/2005-February/002360.html

Feb — Logic In Graphs

• http://forum.wolframscience.com/showthread.php?threadid=726
• http://stderr.org/pipermail/inquiry/2005-February/thread.html#2381
• http://stderr.org/pipermail/inquiry/2005-March/thread.html#2422

May — Qualitative Logic, Logical Graphs, Laws Of Form

• http://stderr.org/pipermail/inquiry/2005-May/thread.html#2697
• http://stderr.org/pipermail/inquiry/2005-June/thread.html#2776