Difference between revisions of "Directory talk:Jon Awbrey/Papers/Cactus Language"

MyWikiBiz, Author Your Legacy — Sunday November 17, 2024
Jump to navigationJump to search
(reorganize by subject)
Line 3: Line 3:
 
===Cactus Language, Operator Variables, Reflection===
 
===Cactus Language, Operator Variables, Reflection===
  
; NKS Forum
+
====NKS Forum (Mar 2005)====
: http://forum.wolframscience.com/showthread.php?threadid=755
+
 
 +
* http://forum.wolframscience.com/showthread.php?threadid=755
  
 
===Cactus Rules===
 
===Cactus Rules===
  
; Inquiry List (March 2004)
+
====Inquiry List (Mar 2004)====
: http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
+
 
; Ontology List
+
* http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265
: http://suo.ieee.org/ontology/thrd1.html#05486
+
 
: http://suo.ieee.org/ontology/thrd2.html#05489
+
====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
+
 
; Arisbe List (December 2001)
+
* http://suo.ieee.org/ontology/msg03586.html
: http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230
+
 
 +
====Arisbe List (Dec 2001)====
 +
 
 +
* http://stderr.org/pipermail/arisbe/2001-December/thread.html#1230
  
 
===Logic In Graphs===
 
===Logic In Graphs===
  
; NKS Forum
+
====NKS Forum====
: http://forum.wolframscience.com/showthread.php?threadid=726
+
 
 +
* http://forum.wolframscience.com/showthread.php?threadid=726
  
 
===Propositional Equation Reasoning Systems===
 
===Propositional Equation Reasoning Systems===
  
; Arisbe List (April 2001)
+
====Arisbe List (Apr 2001)====
: http://stderr.org/pipermail/arisbe/2001-April/000409.html
+
 
; Inquiry List (March 2003)
+
* 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 (March 2003)
+
====Inquiry List (Mar 2003)====
: http://stderr.org/pipermail/inquiry/2003-March/000114.html
+
 
; Inquiry List (February 2005)
+
* http://stderr.org/pipermail/inquiry/2003-March/000114.html
: http://stderr.org/pipermail/inquiry/2005-February/002360.html
+
 
 +
====Inquiry List (Feb 2005)====
 +
 
 +
* http://stderr.org/pipermail/inquiry/2005-February/002360.html

Revision as of 16:40, 5 January 2009

Fragmata

Cactus Language, Operator Variables, Reflection

NKS Forum (Mar 2005)

Cactus Rules

Inquiry List (Mar 2004)

Ontology List

Extensions Of Logical Graphs

Ontology List

Arisbe List (Dec 2001)

Logic In Graphs

NKS Forum

Propositional Equation Reasoning Systems

Arisbe List (Apr 2001)

Inquiry List (Mar 2003)

Theme One Program : Logical Cacti

Inquiry List (Mar 2003)

Inquiry List (Feb 2005)