Logical Transformations and Differential Logic

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

SeqFiends,

I can't recall the context, but we have several times over
the past few years been discussing several questions about
boolean functions B^k -> B and boolean mappings B^k -> B^n.

I am finally getting some of the work that I referred to
in slightly prettier shape.  Here's a link to a paper on
Differential Logic:

http://www.centiare.com/Differential_Logic_and_Dynamic_Systems

Related material can be found by perusing this directory page:

http://www.centiare.com/Directory:Jon_Awbrey

Some of this work even has a little bit to do with the
love that Eternity bears toward the creatures of Time.

Many Regards,

Jon Awbrey

CC: Arisbe Forum: http://stderr.org/pipermail/arisbe/
CC: Inquiry List: http://stderr.org/pipermail/inquiry/

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
¢iare: http://www.centiare.com/Directory:Jon_Awbrey
getwiki: http://www.getwiki.net/-User_talk:Jon_Awbrey
zhongwen wp: http://zh.wikipedia.org/wiki/User:Jon_Awbrey
http://www.altheim.com/ceryle/wiki/Wiki.jsp?page=JonAwbrey
wp review: http://wikipediareview.com/index.php?showuser=398
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o