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/ --------------------------------------------------------------------------------- You are receiving this message because you are subscribed to the PEIRCE-L listserv. To remove yourself from this list, send a message to lists...@listserv.iupui.edu with the line "SIGNOFF PEIRCE-L" in the body of the message. To post a message to the list, send it to PEIRCE-L@LISTSERV.IUPUI.EDU