Research Catalog

Automated deduction in multiple-valued logics

Title
Automated deduction in multiple-valued logics / Reiner Hähnle.
Author
Hähnle, Reiner.
Publication
Oxford : Clarendon Press ; New York : Oxford University Press, 1993.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
TextUse in library QA76.9.A96 H34 1993Off-site

Details

Description
ix, 172 pages : illustrations; 25 cm
Series Statement
International series of monographs on computer science ; 10
Uniform Title
International series of monographs on computer science ; 10.
Subject
  • Automatic theorem proving
  • Logic, Symbolic and mathematical
  • Automatisches Beweisverfahren
  • Mehrwertige Logik
  • Temporale Logik
  • Logique symbolique et mathématique
  • Théorèmes > Démonstration automatique
Bibliography (note)
  • Includes bibliographical references (p. [156]-168) and index.
Contents
1. Introduction -- 2. Preliminaries -- 3. The Logical Basis: Signed Analytic Tableaux -- 4. A New Technique: Truth Value Sets as Signs -- 5. Uniform Notation Regained: Regular Logics -- 6. Beyond Tableaux -- 7. Applications -- 8. A History of Multiple-Valued Theorem Proving -- 9. Conclusion.
ISBN
  • 0198539894
  • 9780198539896
LCCN
93033539
OCLC
  • ocm28966570
  • 28966570
  • SCSB-9187093
Owning Institutions
Princeton University Library