Differential Logic -- Introduction

[Jon Awbrey]

The "shorter" introduction to Differential Logic that
I e-mauled some of these lists with back in 2002 is
now done up in a Wiki-TeX-JPEG version at MyWikiBiz:

http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction

This is a type of wiki where the "directory" pages are protected
from open editing but the talk pages are available for discussion,
so feel free to use those if you have any comments or questions.

E-joy!

Jon

CC: Arisbe, Conceptual Graphs, Cybernetics, Inquiry, SUO

--

inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1


---------------------------------------------------------------------
To unsubscribe, e-mail: cg-unsubscribe@...
For additional commands, e-mail: cg-help@...

[Jon Awbrey]

There's an update of my introduction to Differential Logic at this location:

http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_:_Introduction

This begins with a brief discussion of a formal system for propositional calculus,
the parse graphs of whose expressions are roughly what graph theorists call "cacti",
with axioms and equational inference rules that derive from C.S. Peirce's system of
"alpha graphs", the propositional part of his "existential graphs".

Jon Awbrey

cc: Arisbe, CG, Cybernetics, FOM, Inquiry, SUO

--

inquiry list: http://stderr.org/pipermail/inquiry/
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
mof: http://mathoverflow.net/users/1636/jon-awbrey
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey


---------------------------------------------------------------------
To unsubscribe, e-mail: cg-unsubscribe@...
For additional commands, e-mail: cg-help@...