↓ Skip to main content
What is this page? Embed badge

Theorem Proving with Analytic Tableaux and Related Methods

Overview of attention for book
Cover of 'Theorem Proving with Analytic Tableaux and Related Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On sets, types, fixed points, and checkerboards
  3. Altmetric Badge
    Chapter 2 Fibred tableaux for multi-implication logics
  4. Altmetric Badge
    Chapter 3 Interpolation for a sequent calculus of generalized quantifiers
  5. Altmetric Badge
    Chapter 4 Almost duplication-free tableau calculi for prepositional lax logics
  6. Altmetric Badge
    Chapter 5 Combining many-valued and intuitionistic tableaux
  7. Altmetric Badge
    Chapter 6 Cyclic connections
  8. Altmetric Badge
    Chapter 7 Incremental theory reasoning methods for semantic tableaux
  9. Altmetric Badge
    Chapter 8 The disconnection method
  10. Altmetric Badge
    Chapter 9 Sequent calculi for default and autoepistemic logics
  11. Altmetric Badge
    Chapter 10 Minimal model generation with positive unit hyper-resolution tableaux
  12. Altmetric Badge
    Chapter 11 Distributed modal theorem proving with KE
  13. Altmetric Badge
    Chapter 12 A simple tableau system for the logic of elsewhere
  14. Altmetric Badge
    Chapter 13 Situational Calculus, linear connection proofs and STRIPS-like planning: An experimental comparison
  15. Altmetric Badge
    Chapter 14 Efficient loop-check for backward proof search in some non-classical propositional logics
  16. Altmetric Badge
    Chapter 15 Strong normalization for all-style LK tq
  17. Altmetric Badge
    Chapter 16 T-string unification: Unifying prefixes in non-classical proof methods
  18. Altmetric Badge
    Chapter 17 A timing refinement of intuitionistic proofs and its application to the timing analysis of combinational circuits
  19. Altmetric Badge
    Chapter 18 A tableau calculus for minimal model reasoning
  20. Altmetric Badge
    Chapter 19 On the intuitionistic force of classical search (Extended abstract)
  21. Altmetric Badge
    Chapter 20 Proof-search in intuitionistic logic based on constraint satisfaction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page
Summary Wikipedia
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Theorem Proving with Analytic Tableaux and Related Methods
Published by
Springer Science & Business Media, April 1996
DOI 10.1007/3-540-61208-4
ISBNs
978-3-54-061208-7, 978-3-54-068368-1
Editors

Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M.

View on publisher site Google Preview

This page is provided by Altmetric.