Changes

==Note 4==

==Note 4==

I am preparing a more fleshed-out 1-variable example, but in the mean time, for anybody who's finished all that other reading, there is a more detailed account of differential logic at the following thread heads:

I am preparing a more fleshed-out 1-variable example, but in the mean time, for anybody who's finished all that other reading, there is a more detailed account of differential logic in the following paper:

:* [http://stderr.org/pipermail/inquiry/2003-May/thread.html#478 Differential Logic D-a]

:* [[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0|Differential Logic and Dynamic Systems]]

:* [http://stderr.org/pipermail/inquiry/2003-June/thread.html#553 Differential Logic D-b]

For future reference, here are a couple of handy rosetta stones for translating back and forth between different notations for the boolean functions <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>k = 1, 2.\!</math>

For future reference, here are a couple of handy rosetta stones for translating back and forth between different notations for the boolean functions <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>k = 1, 2.\!</math>

:*[http://stderr.org/pipermail/inquiry/2003-May/000489.html Differential Logic D.11]

:* [[Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0#Tables_of_Propositional_Forms|Tables of Propositional Forms]]

==Note 5==

==Note 5==