OntoLoggers, Conceptual Graphers ... (01)
Here's a collection of proof animations --
in a variant of Peirce's logical graphs --
that I worked up since last I was here: (02)
http://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_Animations (03)
There's explanatory text to be had: (04)
http://mywikibiz.com/Logical_Graph
http://mywikibiz.com/Propositional_Equation_Reasoning_Systems (05)
But I thought it might be fun just
to show all the pics in one place. (06)
Jon Awbrey (07)
-- (08)
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
knol: http://knol.google.com/k/-/-/3fkwvf69kridz/1
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (010)
|