Schmitt | Proof Reconstruction in Classical and Non-classical Logics | Buch | 978-1-58603-129-9 | sack.de

Buch, Englisch, Band 239, 218 Seiten

Reihe: Dissertations in Artificial Intelligence

Schmitt

Proof Reconstruction in Classical and Non-classical Logics


Erscheinungsjahr 2000
ISBN: 978-1-58603-129-9
Verlag: IOS Press

Buch, Englisch, Band 239, 218 Seiten

Reihe: Dissertations in Artificial Intelligence

ISBN: 978-1-58603-129-9
Verlag: IOS Press


How can we support the development of reliable software by theorem proving techniques? How can we turn machine-generated proofs into proofs that can be comprehensed by mathematicians and programmers? This book addresses these questions by presenting an efficient method for transforming proofs generated by matrix-based proof procedures into sequent-style proofs, which works uniformly for classical and non-classical logics. It is a significant contribution towards making theorem proving technology useful for mathematics and software development practice.
Schmitt Proof Reconstruction in Classical and Non-classical Logics jetzt bestellen!

Autoren/Hrsg.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.