Directory talk:Jon Awbrey/Papers/Cactus Language

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

1. 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

• http://forum.wolframscience.com/showthread.php?threadid=755

Cactus Rules

• http://stderr.org/pipermail/inquiry/2004-March/thread.html#1265

Extensions Of Logical Graphs

• http://suo.ieee.org/ontology/msg03586.html

Logic In Graphs

• http://forum.wolframscience.com/showthread.php?threadid=726

Propositional Equation Reasoning Systems

• http://stderr.org/pipermail/arisbe/2001-April/000409.html

Theme One Program : Logical Cacti

• http://stderr.org/pipermail/inquiry/2003-March/000114.html
• http://stderr.org/pipermail/inquiry/2005-February/002360.html