Talk:Existential graph
From Wikipedia, the free encyclopedia
Contents |
[edit] Added some inference rules
I added the inference rules for alpha existential graphs. 128.113.137.111 14:58, 5 February 2006 (UTC)
[edit] Graphics needed!
Philip Meguire, October 31 2005. This article is in crying need of examples of existential graphs. Unfortunately, I do not know how to marry the output of graphics software to a Wikipedia entry. For that matter, I can create only alpha graphs on a computer, using boxes rather than ovals. If you would like to marry your graphics skills to my passion for the existential graphs, contact philip.meguire@canterbury.ac.nz
[edit] Applet comment
Is offering a link to both the RPI page and the Proof Builder page overkill? The former now offers two applets for proof-building. One of them is my own, I admit.
[edit] Is a type invented or proposed?
Changed in the opening line 'invented' to 'proposed' as I believe that there is a semantic clash between 'type of..' and 'invented'. Peirce was not the only one to produce work in this vein and I have added words to this effect in the section on his role.al 16:59, 15 September 2006 (UTC)