Changes

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

edits