CERES and Fast Cut-Elimination

Name: CERES and Fast Cut-Elimination
Brand: VDM Verlag
SKU: 9783639332025
Price: 50.95 EUR
Availability: InStock

Автор: Mikheil Rukhaia

Език:

Корици: С меки корици

Издател: VDM Verlag

Наличност: Налично при издателя, по поръчка

Изпращаме след 17-27 дни

50.95 € 99.64 лв

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from...

Информация за книгата

Автор

Mikheil Rukhaia

Език

Английски език

Корици

Книга - С меки корици

Издадена

2011

страници

EAN

9783639332025

ISBN

3639332024

Enbook ID

06839891

Издател

VDM Verlag

Теглоt

118

Размери

152 x 229 x 4

Пълно описание

Gentzen's cut-elimination theorem is one of the most important theorems of logic. Removing cuts from formal proofs corresponds to the elimination of intermediary lemmas from mathematical proofs. It is well known that cut-elimination is of nonelementary complexity in general. Aim of this book is to identify classes, where cut-elimination is elementary, i.e fast. The first part describes basic notions of logic, such as sequent calculus, resolution calculus and two methods of cut-elimination, such as Gentzen's method and the CERES method. It is proved that CERES method nonelementary speeds up Gentzen's method and in the second part CERES will be used as a tool to identify fast classes and prove elementary cut-elimination on them. This book is self-contained and written in easy way, so no preliminary knowledge is required and all people interested in logic and proof theory can read it.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

CERES and Fast Cut-Elimination

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също