Il libro è attualmente esaurito

Herbrand Sequent Extraction

Autori

Bruno Woltzenlogel Paleo

Parametri

Pagine: 96pagine
Tempo di lettura: 4ore

Matematica

Maggiori informazioni sul libro

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.

Pubblicazione

Acquisto del libro

Herbrand Sequent Extraction, Bruno Woltzenlogel Paleo

Lingua
Pubblicato: 2012
product-detail.submit-box.info.binding: (In brossura)

Ti avviseremo via email non appena lo rintracceremo.

Metodi di pagamento

Ancora nessuna valutazione.Aggiungi una valutazione

Titolo: Herbrand Sequent Extraction
Lingua: Inglese
Autori: Bruno Woltzenlogel Paleo
Editore: AV Akademikerverlag
Pubblicato: 2012
Formato: In brossura
Pagine: 96
ISBN13: 9783639436808
Tag: Matematica
Descrizione: 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.