[FOM] Cactus Language and Differential Logic
Jon Awbrey
jawbrey at att.net
Mon Dec 14 10:20:18 EST 2009
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
More information about the FOM
mailing list