# 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.