Project : Cactus Language

Initial reading

• Logical Graph

• Futures Of Logical Graphs

• Propositional Equation Reasoning Systems

• Cactus Language

Further reading

• Cactus Rules (ASCII Draft)

• NKS Forum

• Cactus Rules

• Cactus Language, Operator Variables, Reflection

• Differential Analytic Turing Automata

• Jets And Sharks

See also

• Ampheck
• Minimal negation operator
• Propositional calculus
• Zeroth order logic

Project history

• Language Of Cacti

• Logic In Graphs

<sharethis />