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) |
Jon Awbrey (talk | contribs) (reorganize by subject) |
||
| Line 1: | Line 1: | ||
==Fragmata== | ==Fragmata== | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
===Cactus Language, Operator Variables, Reflection=== | ===Cactus Language, Operator Variables, Reflection=== | ||
| − | + | ; NKS Forum | |
| + | : http://forum.wolframscience.com/showthread.php?threadid=755 | ||
===Cactus Rules=== | ===Cactus Rules=== | ||
| − | + | ; 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=== | ||
| − | + | ; NKS Forum | |
| + | : http://forum.wolframscience.com/showthread.php?threadid=726 | ||
===Propositional Equation Reasoning Systems=== | ===Propositional Equation Reasoning Systems=== | ||
| − | + | ; 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=== | ||
| − | + | ; Inquiry List (March 2003) | |
| − | + | : http://stderr.org/pipermail/inquiry/2003-March/000114.html | |
| + | ; Inquiry List (February 2005) | ||
| + | : http://stderr.org/pipermail/inquiry/2005-February/002360.html | ||
Revision as of 16:34, 5 January 2009
Fragmata
Cactus Language, Operator Variables, Reflection
Cactus Rules
- 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
- Ontology List
- http://suo.ieee.org/ontology/msg03586.html
- Arisbe List (December 2001)
- http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230
Logic In Graphs
Propositional Equation Reasoning Systems
- Arisbe List (April 2001)
- http://stderr.org/pipermail/arisbe/2001-April/000409.html
- Inquiry List (March 2003)
Theme One Program : Logical Cacti
- Inquiry List (March 2003)
- http://stderr.org/pipermail/inquiry/2003-March/000114.html
- Inquiry List (February 2005)
- http://stderr.org/pipermail/inquiry/2005-February/002360.html
