ontolog-forum
[Top] [All Lists]

[ontolog-forum] Proof Animations

To: Ontolog Forum <ontolog-forum@xxxxxxxxxxxxxxxx>, Conceptual Graphs <cg@xxxxxxxxxxxxxxxxxxxx>, Arisbe List <arisbe@xxxxxxxxxx>, Inquiry List <inquiry@xxxxxxxxxx>
From: Jon Awbrey <jawbrey@xxxxxxx>
Date: Tue, 21 Sep 2010 21:40:31 -0400
Message-id: <4C995E8F.6090906@xxxxxxx>
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)

<Prev in Thread] Current Thread [Next in Thread>