12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 16:34, 5 January 2009
, 16:34, 5 January 2009reorganize by subject
==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===
; 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