| 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 | |