Changes

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

Revision as of 21:00, 22 May 2007

322 bytes removed , 21:00, 22 May 2007

no edit summary

Line 5: Line 5:

==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]]

−

* [[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"]

+

==Further reading==

* [[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"]

Line 28: Line 26:

==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]]

Jon Awbrey

12,122

edits