]> 2026-04-23T18:57:48+00:00 Equational Reasoning 14 en 2009-08-18T13:54:14Z 2455062.0793287 Equational Reasoning Cactus Language 110 en Cactus Language Change In Logic 110 en Change In Logic Differential Logic 110 en Differential Logic Differential Logic : Introduction 110 en Differential Logic : Introduction Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Futures Of Logical Graphs 110 en Futures Of Logical Graphs Directory:Jon Awbrey/Differential Logic : Various Sketches 110 en Jon Awbrey/Differential Logic : Various Sketches Logical graph 0 en Logical graph Minimal negation operator 0 en Minimal negation operator Multigrade operator 0 en Multigrade operator Parametric operator 0 en Parametric operator Peirce's law 0 en Peirce's law Propositional Equation Reasoning Systems 110 en Propositional Equation Reasoning Systems User:Roygbiv/Graph 2 en Roygbiv/Graph Cactus Language 110 en Cactus Language Change In Logic 110 en Change In Logic Differential Logic 110 en Differential Logic Differential Logic : Introduction 110 en Differential Logic : Introduction Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Futures Of Logical Graphs 110 en Futures Of Logical Graphs Directory:Jon Awbrey/Differential Logic : Various Sketches 110 en Jon Awbrey/Differential Logic : Various Sketches Logical graph 0 en Logical graph Minimal negation operator 0 en Minimal negation operator Multigrade operator 0 en Multigrade operator Parametric operator 0 en Parametric operator Peirce's law 0 en Peirce's law Propositional Equation Reasoning Systems 110 en Propositional Equation Reasoning Systems User:Roygbiv/Graph 2 en Roygbiv/Graph INST 152 en INST