Definition:Gentzen Proof System

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Notes