Kniha momentálne nie je na sklade

Herbrand Sequent Extraction

Autori

Bruno Woltzenlogel Paleo

Parametre

Počet strán: 96 stránok
Čas čítania: 4 hodiny

Matematika

Viac o knihe

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.

Vydanie

Nákup knihy

Herbrand Sequent Extraction, Bruno Woltzenlogel Paleo

Jazyk
Rok vydania: 2012
product-detail.submit-box.info.binding: (mäkká)

Akonáhle sa objaví, pošleme e-mail.

Doručenie

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Titul: Herbrand Sequent Extraction
Jazyk: anglicky
Autori: Bruno Woltzenlogel Paleo
Vydavateľ: AV Akademikerverlag
Rok vydania: 2012
Väzba: mäkká
Počet strán: 96
ISBN13: 9783639436808
Štítky: Matematika
Anotácia: 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.