Jump to content

Talk:Frege system

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

In the diagram, I believe that an arrow should also point from "analytic tableaux" to "Gentzen without cut" as these are equal in strength. Currently, the diagram is misleading since it seems to imply that "analytic tableaux" are strictly weaker than "Gentzen without cut". I do not feel comfortable making this change as I don't know how the diagram is drawn. 150.203.212.213 (talk) 22:46, 1 April 2014 (UTC)[reply]