Changes

Line 1: Line 1:  
==Related Documents==
 
==Related Documents==
   −
===Change In Logic===
+
===Feb 2004 — Differential Logic A===
   −
* http://forum.wolframscience.com/showthread.php?threadid=632
+
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1132
* http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
     −
===Dynamics And Logic===
+
===Feb 2004 — Differential Logic B===
   −
* http://forum.wolframscience.com/showthread.php?threadid=420
+
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1160
* http://stderr.org/pipermail/inquiry/2004-May/thread.html#1400
  −
* http://stderr.org/pipermail/inquiry/2004-July/thread.html#1685
     −
===Differential Logic and Dynamic Systems===
+
===Feb 2004 — Differential Logic C===
   −
* http://forum.wolframscience.com/showthread.php?threadid=636
+
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178
* http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042
     −
===Logic In Graphs===
+
===Apr 2004 — Propositional Equation Reasoning Systems===
 
  −
* 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
  −
 
  −
===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://forum.wolframscience.com/showthread.php?threadid=297
 
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
 
* http://stderr.org/pipermail/inquiry/2004-April/thread.html#1341
 
* http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
 
* http://stderr.org/pipermail/inquiry/2004-May/thread.html#1391
   −
===Qualitative Logic, Logical Graphs, Laws Of Form===
+
===May 2004 — Dynamics And Logic===
 +
 
 +
* http://forum.wolframscience.com/archive/topic/420-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=420
 +
* 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 2004 — Change In Logic===
 +
 
 +
* http://forum.wolframscience.com/archive/topic/632-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=632
 +
* http://forum.wolframscience.com/showthread.php?threadid=632
 +
* http://stderr.org/pipermail/inquiry/2004-November/thread.html#2033
 +
 
 +
===Dec 2004 — Differential Logic and Dynamic Systems===
   −
* http://stderr.org/pipermail/inquiry/2005-May/thread.html#2697
+
* http://forum.wolframscience.com/archive/topic/636-1.html
* http://stderr.org/pipermail/inquiry/2005-June/thread.html#2776
+
* http://forum.wolframscience.com/printthread.php?threadid=636
 +
* http://forum.wolframscience.com/showthread.php?threadid=636
 +
* http://stderr.org/pipermail/inquiry/2004-December/thread.html#2042
   −
===Cactus Language, Operator Variables, Reflection===
+
===Jan 2005 — Cactus Language, Operator Variables, Reflection===
    +
* http://forum.wolframscience.com/archive/topic/755-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=755
 
* http://forum.wolframscience.com/showthread.php?threadid=755
 
* http://forum.wolframscience.com/showthread.php?threadid=755
 
* http://stderr.org/pipermail/inquiry/2005-January/thread.html#2245
 
* http://stderr.org/pipermail/inquiry/2005-January/thread.html#2245
   −
===Differential Logic A===
+
===Feb 2005 — Logic In Graphs===
   −
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1132
+
* http://forum.wolframscience.com/archive/topic/726-1.html
 +
* http://forum.wolframscience.com/printthread.php?threadid=726
 +
* 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
   −
===Differential Logic B===
+
===May 2005 — Qualitative Logic, Logical Graphs, Laws Of Form===
   −
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1160
+
* http://stderr.org/pipermail/inquiry/2005-May/thread.html#2697
 
+
* http://stderr.org/pipermail/inquiry/2005-June/thread.html#2776
===Differential Logic C===
  −
 
  −
* http://stderr.org/pipermail/inquiry/2004-February/thread.html#1178
 
12,154

edits