↓ 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
Attention for Chapter 15: Strong normalization for all-style LK tq
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
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.
Chapter title
Strong normalization for all-style LK tq
Chapter number 15
Book title
Theorem Proving with Analytic Tableaux and Related Methods
Published by
Springer, Berlin, Heidelberg, May 1996
DOI 10.1007/3-540-61208-4_15
Book ISBNs
978-3-54-061208-7, 978-3-54-068368-1
Authors

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco, Joinet, Jean-Baptiste, Schellinx, Harold, Tortora de Falco, Lorenzo

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Student > Doctoral Student 1 50%
Readers by discipline Count As %
Mathematics 2 100%

This page is provided by Altmetric.