Overview

cut elimination theorem


'cut elimination theorem' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

Also known as the Hauptsatz. A theorem stating that a certain type of inference rule is not needed. The idea was anticipated by J. Herbrand and the theorem was proved for classical logic by G. Gentzen.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.