Changes

Directory:Jon Awbrey/Projects/Cactus Language (view source)

Revision as of 20:54, 22 May 2007

1,271 bytes added , 20:54, 22 May 2007

add text to merge

Line 10: Line 10:

* [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=297&perpage=35 "Propositional Equation Reasoning Systems"]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=649&perpage=37 "Language Of Cacti"]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 "Logic In Graphs"]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=256&perpage=28 "Cactus Rules"]

+

==Further reading==

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=755&perpage=2 "Cactus Language, Operator Variables, Reflection"]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=228&perpage=33 "Differential Analytic Turing Automata"]

+

* [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=630&perpage=11 "Jets And Sharks"]

+

==See also==

+

===Related essays and projects===

+

* [[Futures Of Logical Graphs]]

+

* [[Propositional Equation Reasoning Systems]]

+

===Related concepts and topics===

+

* [[Ampheck]]

+

* [[Logical graph]]

+

* [[Minimal negation operator]]

+

* [[Propositional calculus]]

+

* [[Zeroth order logic]]

{{aficionados}}<sharethis />

Jon Awbrey

12,080

edits