MyWikiBiz, Author Your Legacy — Saturday November 30, 2024
Jump to navigationJump to search
1,271 bytes added
, 20:54, 22 May 2007
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 /> |