Skip to main content
SpringerLink
Log in

Theorem Proving with Analytic Tableaux and Related Methods

5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. P. Miglioli
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. U. Moscato
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. D. Mundici
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. M. Ornaghi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1071)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: TABLEAUX 1996.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. On sets, types, fixed points, and checkerboards

    • Peter B. Andrews, Matthew Bishop
    Pages 1-15

  3. Fibred tableaux for multi-implication logics

    • Marcello D'Agostino, Dov M. Gabbay
    Pages 16-35

  4. Interpolation for a sequent calculus of generalized quantifiers

    • Natasha Alechina
    Pages 36-47

  5. Almost duplication-free tableau calculi for prepositional lax logics

    • Alessandro Avellone, Mauro Ferrari
    Pages 48-64

  6. Combining many-valued and intuitionistic tableaux

    • Matthias Baaz, Christian G. Fermüller
    Pages 65-79

  7. Cyclic connections

    • Gérard Becher
    Pages 80-92

  8. Incremental theory reasoning methods for semantic tableaux

    • Bernhard Beckert, Christian Pape
    Pages 93-109

  9. The disconnection method

    • Jean-Paul Billon
    Pages 110-126

  10. Sequent calculi for default and autoepistemic logics

    • Piero A. Bonatti
    Pages 127-142

  11. Minimal model generation with positive unit hyper-resolution tableaux

    • François Bry, Adnan Yahya
    Pages 143-159

  12. Distributed modal theorem proving with KE

    • Jeremy Pitt, Jim Cunningham
    Pages 160-176

  13. A simple tableau system for the logic of elsewhere

    • Stéphane Demri
    Pages 177-192

  14. Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison

    • Bertram Fronhöfer
    Pages 193-209

  15. Efficient loop-check for backward proof search in some non-classical propositional logics

    • Alain Heuerding, Michael Seyfried, Heinrich Zimmermann
    Pages 210-225

  16. Strong normalization for all-style LKtq

    • Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    Pages 226-243

  17. T-string unification: Unifying prefixes in non-classical proof methods

    • Jens Otten, Christoph Kreitz
    Pages 244-260

  18. A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits

    • Michael Mendler
    Pages 261-277

  19. A tableau calculus for minimal model reasoning

    • Ilkka Niemelä
    Pages 278-294

  20. On the intuitionistic force of classical search (Extended abstract)

    • Eike Ritter, David Pym, Lincoln Wallen
    Pages 295-311
Back to top

Other volumes

  1. Theorem Proving with Analytic Tableaux and Related Methods

Keywords

About this book

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

Bibliographic Information

  • Book Title: Theorem Proving with Analytic Tableaux and Related Methods

  • Book Subtitle: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

  • Editors: P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-61208-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1996

  • Softcover ISBN: 978-3-540-61208-7Published: 24 April 1996

  • eBook ISBN: 978-3-540-68368-1Published: 30 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 336

  • Topics: Theory of Computation, Artificial Intelligence, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation