Proof Reconstruction in Classical and Non-classical Logics

Share
Editor
Schmitt, S.
Pub. date
January 2000
Pages
218
Binding
softcover
Volume
239 of Dissertations in Artificial Intelligence
ISBN print
978-1-58603-129-9
Subject
Artificial Intelligence, Computer & Communication Sciences, Computer Science
€38 / US$42 Excl. VAT
Order Proof Reconstruction in Classical and Non-classical Logics ISBN @ €38.00

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.