Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"
MyWikiBiz, Author Your Legacy — Sunday December 22, 2024
Jump to navigationJump to searchJon Awbrey (talk | contribs) (reorganize by subject) |
Jon Awbrey (talk | contribs) |
||
| Line 3: | Line 3: | ||
===Cactus Language, Operator Variables, Reflection=== | ===Cactus Language, Operator Variables, Reflection=== | ||
| − | + | ====NKS Forum (Mar 2005)==== | |
| − | + | ||
| + | * http://forum.wolframscience.com/showthread.php?threadid=755 | ||
===Cactus Rules=== | ===Cactus Rules=== | ||
| − | + | ====Inquiry List (Mar 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=== | ||
| − | + | ====Ontology List==== | |
| − | + | ||
| − | + | * http://suo.ieee.org/ontology/msg03586.html | |
| − | + | ||
| + | ====Arisbe List (Dec 2001)==== | ||
| + | |||
| + | * http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230 | ||
===Logic In Graphs=== | ===Logic In Graphs=== | ||
| − | + | ====NKS Forum==== | |
| − | + | ||
| + | * http://forum.wolframscience.com/showthread.php?threadid=726 | ||
===Propositional Equation Reasoning Systems=== | ===Propositional Equation Reasoning Systems=== | ||
| − | + | ====Arisbe List (Apr 2001)==== | |
| − | + | ||
| − | + | * http://stderr.org/pipermail/arisbe/2001-April/000409.html | |
| + | |||
| + | ====Inquiry List (Mar 2003)==== | ||
| + | |||
* http://stderr.org/pipermail/inquiry/2003-March/thread.html#126 | * http://stderr.org/pipermail/inquiry/2003-March/thread.html#126 | ||
===Theme One Program : Logical Cacti=== | ===Theme One Program : Logical Cacti=== | ||
| − | + | ====Inquiry List (Mar 2003)==== | |
| − | + | ||
| − | + | * http://stderr.org/pipermail/inquiry/2003-March/000114.html | |
| − | + | ||
| + | ====Inquiry List (Feb 2005)==== | ||
| + | |||
| + | * http://stderr.org/pipermail/inquiry/2005-February/002360.html | ||
