Code: 06223369

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: 267.14 PLN
Availability: BackOrder

by A.m Ungar

Language: English
Binding: Hardback
Number of pages: 236
Publisher: CTR FOR STUDY OF LANG & INFO, 1992
More about this

267.14 zł

RRP: 267.17 zł

You save 0.03 zł

Availability:

50/50

We think title might be available. Upon your order we will do our best to get it within 6 weeks.
We search the world

Availability alert

Add to wishlist

Language Implementation Patterns
138.29 zł -11 %
Buy
GCSE Mathematics for AQA Higher Problem-solving Book
82.54 zł -4 %
Buy
Always Someone to Kill the Doves
126.51 zł -23 %
Buy
Match Made in Hell
86.50 zł -1 %
Buy
Beginning Digital Image Processing
121.94 zł -5 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

Availability alert

We will watch availability for you

Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.

More about Normalization, Cut-Elimination, and the Theory of Proofs

Book details
Synopsis
Trending among others

You get 154 loyalty points

Book synopsis

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.