Definition:Gentzen Proof System
Jump to navigation Jump to search
Gentzen proof systems are a class of proof systems for propositional and predicate logic.
Their characteristics include:
- The presence of few axioms and many rules of inference.
- Use of formal, sequent-like notation involving the turnstile $\vdash$.
- Proofs whose structure can be viewed as rooted trees.
Specific instances may deviate from this general scheme at some points.
Source of Name
This entry was named for Gerhard Karl Erich Gentzen.