Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Normalization, Cut-Elimination, and the Theory of Proofs

Name: Normalization, Cut-Elimination, and the Theory of Proofs
Brand: CTR FOR STUDY OF LANG & INFO
SKU: 06223369
Price: 22365 HUF
Availability: PreOrder
Author: A.m Ungar
ISBN: 9780937073834

A.m Ungar

Language

English

Book Hardback

Libristo code: 06223369

Publishers CTR FOR STUDY OF LANG & INFO, June 1992

Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It... Full description

Libristo code: 06223369

149 b

Coming soon

22 365 Ft

Reprint

Date unknown

Up to 30 days for returns

Customers also purchased

Dialogo sobre relacoes de genero com criancas do ensino fundamental TESTA TELES EVA MARI

Paperback

21 858 Ft

Das verlogene Paradies Oliver Fehn

Paperback

3 609 Ft

Sešit k písance s pomocnými linkami 511

Paperback

620 Ft

FAVOLE VICTORIA FRANCES

Hardback

10 080 Ft

Unterrichtsbesuche nachbesprechen: strukturiert beraten, transparent beurteilen (3. Auflage) - Ein Leitfaden für Ausbilder_innen Arno Brabender

Paperback

6 874 Ft

Un homme de parole Lee Child

Paperback

4 705 Ft

Landwirthschaftliche Reminiscenzen und Conjecturen im 100sten Gründungsjahre der Kaiserlich-Königlich Mährisch-Schlesischen Gesellschaft für Ackerbau- C. Diebl

Paperback

4 285 Ft

Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic. Ungar gives an account of Gentzen's theorem for various formalisms and discusses the difficulties involved in treating these different versions uniformly, as instances of a single theorem which is not tied to a particular system of rules. By extending the theorem to a natural deduction calculus whose derivations are allowed to have more than one conclusion, Ungar argues that the different versions of the theorem are more or less natural specializations of a single result whose significance can be understood in terms of the proofs represented by formal derivations. A concluding discussion focuses on the relationship between proofs and formal derivations, and the role proofs may play as part of a general theory of evidence.