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

Latest revision as of 13:34, 22 May 2009

Initial reading

Logical Graph

Futures Of Logical Graphs

Propositional Equation Reasoning Systems

Cactus Language

Project history

Language Of Cacti

Logic In Graphs

@@ Line 1: / Line 1: @@
-----
+{{DISPLAYTITLE:Project : Cactus Language}}
-<font size=4>'''Project : Cactus Language'''</font><br>
+==Initial reading==
-----
-==Readings==
+* [[Logical graph|Logical Graph]]
-* [[Logical Graph]]
 * [[Directory:Jon Awbrey/Papers/Futures Of Logical Graphs|Futures Of Logical Graphs]]
@@ Line 11: / Line 8: @@
 * [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]]
-{{aficionados}}<sharethis />
+* [[Directory:Jon_Awbrey/Papers/Cactus_Language|Cactus Language]]
+==Further reading==
+* [[Directory:Jon_Awbrey/Papers/Cactus_Rules|Cactus Rules (ASCII Draft)]]
+* [http://forum.wolframscience.com/ NKS Forum]
+:* [http://forum.wolframscience.com/printthread.php?threadid=256&perpage=28 Cactus Rules]
+:* [http://forum.wolframscience.com/printthread.php?threadid=755&perpage=2 Cactus Language, Operator Variables, Reflection]
+:* [http://forum.wolframscience.com/printthread.php?threadid=228&perpage=33 Differential Analytic Turing Automata]
+:* [http://forum.wolframscience.com/printthread.php?threadid=630&perpage=11 Jets And Sharks]
+==See also==
+* [[Ampheck]]
+* [[Minimal negation operator]]
+* [[Propositional calculus]]
+* [[Zeroth order logic]]
+==Project history==
+* [http://forum.wolframscience.com/printthread.php?threadid=649&perpage=37 Language Of Cacti]
+* [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 Logic In Graphs]
+<sharethis />
 <!--semantic tags-->
 [[Project Name:=Cactus Language|&nbsp;]]
 [[Project Of::Directory:Jon Awbrey|&nbsp;]]