Algorithms for Quantified Cut-Introduction

Christoph Spörk

ISBN 10: 363985229X / ISBN 13: 9783639852295

Published by AV Akademikerverlag Okt 2015, 2015

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -In proof theory finding lemmas for a given proof is of deep interest. The possibility of algorithmically computing them, even for large proofs, is a defined goal in this research area. This book describes an approach for introducing quantified cuts into proofs in sequent calculus by making good use of knowledge from formal language theory. The described method is even capable of possibly introducing several lemmas at once into a proof.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Englisch.

Seller Inventory # 9783639852295

Bibliographic Details

• Title: Algorithms for Quantified Cut-Introduction
• Publisher: AV Akademikerverlag Okt 2015
• Publication Date: 2015
• Language: English
• ISBN 10: 363985229X
• ISBN 13: 9783639852295
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 220W x 150H x 5D millimeters 220 millimeters width by 150 millimeters height by 5 millimeters depth
• Weight: 125 grams

About this title

Synopsis

In proof theory finding lemmas for a given proof is of deep interest. The possibility of algorithmically computing them, even for large proofs, is a defined goal in this research area. This book describes an approach for introducing quantified cuts into proofs in sequent calculus by making good use of knowledge from formal language theory. The described method is even capable of possibly introducing several lemmas at once into a proof.