Il libro è attualmente esaurito

Herbrand sequent extraction

Autori

Bruno Woltzenlogel Paleo

Parametri

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: 2008

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: VDM Verlag Dr. Müller
Pubblicato: 2008
ISBN10: 3836461528
ISBN13: 9783836461528
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.