Knihu momentálně nemáme skladem

Herbrand Sequent Extraction

Autoři

Bruno Woltzenlogel Paleo

Parametry

Počet stran: 96 stránek
Čas čtení: 4 hodiny

Matematika

Více o knize

Focusing on the extraction of essential information from complex mathematical proofs, this book presents four algorithms designed to derive a Herbrand sequent from proofs in Gentzen's Sequent Calculus LK for classical First-Order Logic. It introduces a Herbrand sequent as a generalization of Herbrand disjunction, emphasizing its role in summarizing the creative aspects of formal proofs, particularly regarding quantifier instantiations. One algorithm is implemented in CERes, an automated system aimed at enhancing proof transformations and analysis.

Vydání

Nákup knihy

Herbrand Sequent Extraction, Bruno Woltzenlogel Paleo

Jazyk
Rok vydání: 2012
product-detail.submit-box.info.binding: (měkká)

Jakmile ji vyčmucháme, pošleme e-mail.

Doručení

Platební metody

Nikdo zatím neohodnotil.Ohodnotit

Titul: Herbrand Sequent Extraction
Jazyk: anglicky
Autoři: Bruno Woltzenlogel Paleo
Vydavatel: AV Akademikerverlag
Rok vydání: 2012
Vazba: měkká
Počet stran: 96
ISBN13: 9783639436808
Štítky: Matematika
Anotace: Focusing on the extraction of essential information from complex mathematical proofs, this book presents four algorithms designed to derive a Herbrand sequent from proofs in Gentzen's Sequent Calculus LK for classical First-Order Logic. It introduces a Herbrand sequent as a generalization of Herbrand disjunction, emphasizing its role in summarizing the creative aspects of formal proofs, particularly regarding quantifier instantiations. One algorithm is implemented in CERes, an automated system aimed at enhancing proof transformations and analysis.