Table of contents

  1. Front Matter
  2. W. Bibel, S. Brüning, U. Egly, D. Korn, T. Rath
    Pages 1-16
  3. Eric de Kogel
    Pages 17-30
  4. Ingrid Neumann
    Pages 47-62
  5. Guido Governatori
    Pages 79-94
  6. Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Pages 95-105
  7. Stephan Schmitt, Christoph Kreitz
    Pages 106-121
  8. Jens Otten, Christoph Kreitz
    Pages 122-137
  9. Ricardo Caferra, Nicolas Peltier
    Pages 154-168
  10. Klaus Mayr
    Pages 169-184
  11. Gerd Neugebauer, Uwe Petermann
    Pages 185-200
  12. Peter Baumgartner, Frieder Stolzenburg
    Pages 201-216
  13. Matthias Baaz, Christian G. Fermüller
    Pages 217-230
  14. Jörg Hudelmaier, Peter Schroeder-Heister
    Pages 247-262
  15. Robert K. Meyer, Michael A. McRobbie, Nuel Belnap
    Pages 278-293

About these proceedings

Introduction

This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schloß Rheinfels, St. Goar, Germany in May 1995.
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

Keywords

Analytic Tableaus Analytische Tableaus Classical Logics Extension Klassische Logikes Nicht-klassische Logiken Nonclassical Logics Resolution Tableau Calculi Tableau-Kalküle logic proving theorem proving

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-59338-1
  • Copyright Information Springer-Verlag 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59338-6
  • Online ISBN 978-3-540-49235-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book