Line 1: |
Line 1: |
| ==Fragmata== | | ==Fragmata== |
− |
| |
− | ===Ontology List===
| |
− |
| |
− | ====Extensions of Logical Graphs====
| |
− |
| |
− | * http://suo.ieee.org/ontology/msg03586.html
| |
− |
| |
− | ====Cactus Rules====
| |
− |
| |
− | * http://suo.ieee.org/ontology/thrd1.html#05486
| |
− | * http://suo.ieee.org/ontology/thrd2.html#05489
| |
− | # http://suo.ieee.org/ontology/msg05486.html
| |
− |
| |
− | ===Arisbe List===
| |
− |
| |
− | ====Propositional Equation Reasoning Systems====
| |
− |
| |
− | * http://stderr.org/pipermail/arisbe/2001-April/000409.html
| |
− |
| |
− | ====Extensions Of Logical Graphs====
| |
− |
| |
− | * http://stderr.org/pipermail/arisbe/2001-December/001230.html
| |
− |
| |
− | ===Inquiry List===
| |
− |
| |
− | ====Theme One Program : Logical Cacti====
| |
− |
| |
− | * http://stderr.org/pipermail/inquiry/2003-March/000114.html
| |
− | * http://stderr.org/pipermail/inquiry/2005-February/002360.html
| |
− |
| |
− | ====Propositional Equation Reasoning Systems====
| |
− |
| |
− | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#126
| |
− |
| |
− | ====Cactus Rules====
| |
− |
| |
− | * http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
| |
− |
| |
− | ===NKS Forum===
| |
− |
| |
− | ====Logic In Graphs====
| |
− |
| |
− | * http://forum.wolframscience.com/showthread.php?threadid=726
| |
− |
| |
− | ====Cactus Language, Operator Variables, Reflection====
| |
− |
| |
− | * http://forum.wolframscience.com/showthread.php?threadid=755
| |
− |
| |
− | ==Index==
| |
| | | |
| ===Cactus Language, Operator Variables, Reflection=== | | ===Cactus Language, Operator Variables, Reflection=== |
| | | |
− | * http://forum.wolframscience.com/showthread.php?threadid=755
| + | ; NKS Forum |
| + | : http://forum.wolframscience.com/showthread.php?threadid=755 |
| | | |
| ===Cactus Rules=== | | ===Cactus Rules=== |
| | | |
− | * http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
| + | ; Inquiry List (March 2004) |
| + | : http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265 |
| + | ; Ontology List |
| + | : http://suo.ieee.org/ontology/thrd1.html#05486 |
| + | : http://suo.ieee.org/ontology/thrd2.html#05489 |
| | | |
| ===Extensions Of Logical Graphs=== | | ===Extensions Of Logical Graphs=== |
Line 62: |
Line 18: |
| ; Ontology List | | ; Ontology List |
| : http://suo.ieee.org/ontology/msg03586.html | | : http://suo.ieee.org/ontology/msg03586.html |
− | ; Arisbe List | + | ; Arisbe List (December 2001) |
| : http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230 | | : http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230 |
| | | |
| ===Logic In Graphs=== | | ===Logic In Graphs=== |
| | | |
− | * http://forum.wolframscience.com/showthread.php?threadid=726
| + | ; NKS Forum |
| + | : http://forum.wolframscience.com/showthread.php?threadid=726 |
| | | |
| ===Propositional Equation Reasoning Systems=== | | ===Propositional Equation Reasoning Systems=== |
| | | |
− | * http://stderr.org/pipermail/arisbe/2001-April/000409.html
| + | ; Arisbe List (April 2001) |
| + | : http://stderr.org/pipermail/arisbe/2001-April/000409.html |
| + | ; Inquiry List (March 2003) |
| + | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#126 |
| | | |
| ===Theme One Program : Logical Cacti=== | | ===Theme One Program : Logical Cacti=== |
| | | |
− | * http://stderr.org/pipermail/inquiry/2003-March/000114.html
| + | ; Inquiry List (March 2003) |
− | * http://stderr.org/pipermail/inquiry/2005-February/002360.html
| + | : http://stderr.org/pipermail/inquiry/2003-March/000114.html |
| + | ; Inquiry List (February 2005) |
| + | : http://stderr.org/pipermail/inquiry/2005-February/002360.html |