Definition:Gentzen Proof System

From ProofWiki
Jump to navigation Jump to search


Gentzen proof systems are a class of proof systems for propositional and predicate logic.

Their characteristics include:

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.