Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 918)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
- TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference proceedings info: TABLEAUX 1995.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal logic, intuitionistic logic, the connection method and model elimination, non-clausal proof procedures, linear logic, higher-order logic, and applications
Similar content being viewed by others
Keywords
Table of contents (23 papers)
Other volumes
-
Theorem Proving with Analytic Tableaux and Related Methods
Bibliographic Information
Book Title: Theorem Proving with Analytic Tableaux and Related Methods
Book Subtitle: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Editors: Peter Baumgartner, Reiner Hähnle, Joachim Possega
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-59338-1
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1995
Softcover ISBN: 978-3-540-59338-6Published: 26 April 1995
eBook ISBN: 978-3-540-49235-1Published: 14 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 361
Topics: Artificial Intelligence, Mathematical Logic and Foundations, Theory of Computation, Mathematical Logic and Formal Languages