Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Cactus Language and Differential Logic

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