Existential Graphs
Home
|
Intellectual Background
|
Technical Details
|
Sample Proofs
|
Software
Software
Peirce Logic: Interactive website for Existential Graphs
A Basic JAVA Existential Graphs applet
A presentation on the use of the above applet
A presentation on desired improvements and extensions
Pegasus: An Existential Graphs Proof Player
(.zip, 5M)
Ladies and Tigers Pegasus input file
Brian Boodman's Applet
Instructions for use