Logical Graphs

Peircers,

Here are links to a couple of articles on Logical Graphs, newly migrated from Google Knol to WordPress.
The first is meant as an informal tour of essential points and selected sidelights, focusing on motivation.
The second presents the subject more formally.  I took some pains to clarify a number of distinctions that
are often the source of much confusion, namely;

1. The relation between "arithmetic" and "algebra" in logical systems.
2. The relation between "entitative" and "existential" interpretations.
3. The relation between "equational" and "implicational" proof systems.

Logical Graphs : 1
http://inquiryintoinquiry.com/2008/07/29/logical-graphs-1/

Logical Graphs : 2
http://inquiryintoinquiry.com/2008/09/19/logical-graphs-2/

By the way, there are extended treatments of Logical Graphs in progress on MyWikiBiz.
These are still a bit rough, but they include many more examples of proof animations:

Logical Graph
http://mywikibiz.com/Logical_graph

Propositional Equation Reasoning Systems
http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems

Regards,

Jon

-- 

academia: http://independent.academia.edu/JonAwbrey
inquiry list: http://stderr.org/pipermail/inquiry/
mwb: http://www.mywikibiz.com/Directory:Jon_Awbrey
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
word press blog 1: http://jonawbrey.wordpress.com/
word press blog 2: http://inquiryintoinquiry.com/