Daily Archives: May 11, 2015

Survey of Differential Logic • 1

This is a Survey of previous blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Logic • Introduction Differential Propositional Calculus Architectonics Minimal Negation Operator Cactus Language Applications … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Equational Inference, Frankl Conjecture, Functional Logic, Graph Theory, Hill Climbing, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Surveys, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment