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

MyWikiBiz, Author Your Legacy — Thursday December 26, 2024
Jump to navigationJump to search
(add)
(update references)
 
(11 intermediate revisions by the same user not shown)
Line 1: Line 1:
<font size=4>'''Project Page'''</font>
+
{{DISPLAYTITLE:Project : Cactus Language}}
 +
==Initial reading==
  
==Readings==
+
* [[Logical graph|Logical Graph]]
 +
 
 +
* [[Directory:Jon Awbrey/Papers/Futures Of Logical Graphs|Futures Of Logical Graphs]]
  
 
* [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]]
 
* [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]]
 +
 +
* [[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;]]

Latest revision as of 13:34, 22 May 2009