]> 2026-04-21T23:19:07+00:00 Formal Systems 14 en 2007-05-18T20:56:41Z 2454239.3726968 Formal Systems 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 Logic and Dynamic Systems 0 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 110 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 2.0 110 en Differential Logic and Dynamic Systems 2.0 Differential Logic and Dynamic Systems 3.0 110 en Differential Logic and Dynamic Systems 3.0 Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Exclusive disjunction 0 en Exclusive disjunction Functional Logic : Higher Order Propositions 110 en Functional Logic : Higher Order Propositions Functional Logic : Inquiry and Analogy 110 en Functional Logic : Inquiry and Analogy Functional Logic : Quantification Theory 110 en Functional Logic : Quantification Theory 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 Logic of Relatives (1870) 0 en Logic of Relatives (1870) Logic of Relatives (1883) 0 en Logic of Relatives (1883) Logic of relatives 0 en Logic of relatives Logical NAND 0 en Logical NAND Logical NNOR 0 en Logical NNOR Logical conjunction 0 en Logical conjunction Logical disjunction 0 en Logical disjunction Logical equality 0 en Logical equality Logical graph 0 en Logical graph Logical implication 0 en Logical implication Logical negation 0 en Logical negation 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 Propositional calculus 0 en Propositional calculus Relative term 0 en Relative term User:Roygbiv/Graph 2 en Roygbiv/Graph Truth table 0 en Truth table Universe of discourse 0 en Universe of discourse Zeroth order logic 0 en Zeroth order logic 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 Logic and Dynamic Systems 0 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 110 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 2.0 110 en Differential Logic and Dynamic Systems 2.0 Differential Logic and Dynamic Systems 3.0 110 en Differential Logic and Dynamic Systems 3.0 Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Exclusive disjunction 0 en Exclusive disjunction Functional Logic : Higher Order Propositions 110 en Functional Logic : Higher Order Propositions Functional Logic : Inquiry and Analogy 110 en Functional Logic : Inquiry and Analogy Functional Logic : Quantification Theory 110 en Functional Logic : Quantification Theory 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 Logic of Relatives (1870) 0 en Logic of Relatives (1870) Logic of Relatives (1883) 0 en Logic of Relatives (1883) Logic of relatives 0 en Logic of relatives Logical NAND 0 en Logical NAND Logical NNOR 0 en Logical NNOR Logical conjunction 0 en Logical conjunction Logical disjunction 0 en Logical disjunction Logical equality 0 en Logical equality Logical graph 0 en Logical graph Logical implication 0 en Logical implication Logical negation 0 en Logical negation 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 Propositional calculus 0 en Propositional calculus Relative term 0 en Relative term User:Roygbiv/Graph 2 en Roygbiv/Graph Truth table 0 en Truth table Universe of discourse 0 en Universe of discourse Zeroth order logic 0 en Zeroth order logic INST 152 en INST