Definition:Gentzen Proof System
Jump to navigation
Jump to search
Definition
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.
Instance 1
Source of Name
This entry was named for Gerhard Karl Erich Gentzen.