Changes

reorganize by subject
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
12,080

edits