Changes

add text to merge
Line 10: Line 10:     
* [[Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems|Propositional Equation Reasoning Systems]]
 
* [[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 />
 
{{aficionados}}<sharethis />
12,080

edits