Talk:Formal proof
From Wikipedia, the free encyclopedia
[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)