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