Talk:Formal proof

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Stub Class High Priority  Field: Foundations, logic, and set theory
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article.

[edit] Insufficiently general

The definition given here applies only to the simpler proof calculi. I does not work for natural deduction beyond propositional logic, and also not for the sequent calculus, in which one works with judgments rather than sentences.  --Lambiam 10:57, 20 May 2008 (UTC)