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]] | | * [[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]] | | * [[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"] | + | * [[Directory:Jon_Awbrey/Papers/Cactus_Language|Cactus Language]] |
| | | |
− | * [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=649&perpage=37 "Language Of Cacti"]
| + | ==Further reading== |
| | | |
− | * [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=726&perpage=3 "Logic In Graphs"] | + | * [[Directory:Jon_Awbrey/Papers/Cactus_Rules|Cactus Rules (ASCII Draft)]] |
| | | |
− | * [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=256&perpage=28 "Cactus Rules"] | + | * [http://forum.wolframscience.com/ NKS Forum] |
| | | |
− | ==Further reading== | + | :* [http://forum.wolframscience.com/printthread.php?threadid=256&perpage=28 Cactus Rules] |
| | | |
− | * [[User:Jon Awbrey|Jon Awbrey]], [http://forum.wolframscience.com/printthread.php?threadid=755&perpage=2 "Cactus Language, Operator Variables, Reflection"] | + | :* [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"] | + | :* [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"] | + | :* [http://forum.wolframscience.com/printthread.php?threadid=630&perpage=11 Jets And Sharks] |
| | | |
| ==See also== | | ==See also== |
− |
| |
− | ===Related essays and projects===
| |
− |
| |
− | * [[Futures Of Logical Graphs]]
| |
− | * [[Propositional Equation Reasoning Systems]]
| |
− |
| |
− | ===Related concepts and topics===
| |
| | | |
| * [[Ampheck]] | | * [[Ampheck]] |
− | * [[Logical graph]]
| |
| * [[Minimal negation operator]] | | * [[Minimal negation operator]] |
| * [[Propositional calculus]] | | * [[Propositional calculus]] |
| * [[Zeroth order logic]] | | * [[Zeroth order logic]] |
| | | |
− | {{aficionados}}<sharethis />
| + | ==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--> | | <!--semantic tags--> |
| [[Project Name:=Cactus Language| ]] | | [[Project Name:=Cactus Language| ]] |
| [[Project Of::Directory:Jon Awbrey| ]] | | [[Project Of::Directory:Jon Awbrey| ]] |