Editors:
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)
Conference series link(s): TABLEAUX: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Conference proceedings info: TABLEAUX 1996.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (20 papers)
-
Front Matter
About this book
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.
Keywords
- Automated Deduction
- Automatisierte Deduktion
- Constraint Satisfaction
- Nicht-klassische Logiken
- Nonclassical Logics
- Tableaukalkül
- Tableaux Calculus
- Tableaux Resonning
- Theorem-Beweise
- automated reasoning
- calculus
- proof
- proving
- sequent calculus
- sets
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