Gentzenův důkazový kalkul
Loading...
Downloads
6
Date issued
Authors
Kajzarová, Halina
Journal Title
Journal ISSN
Volume Title
Publisher
Vysoká škola báňská - Technická univerzita Ostrava
Location
Signature
Abstract
This thesis is a study of Gentzen's proof calculi (sequent calculi) with wide range of solved examples and demonstrates how to work with sequent calculi. The thesis also comprises and explains the cut elimination theorem (Hauptsatz) in sequent calculi and briefly descriscribes substructural logics for sequent calculus. Last but not least, different variants of proof calculi are also described.
Description
Import 22/07/2015
Subject(s)
Proof calculi, proof, natural deduction, Hilbert's system, sequent calculi, Gentzen, cut elimination theorem, Hauptsatz, substructural logic