Automated Deduction in Multiple-Valued Logics
| Format | Hardback |
| Language | English |
| Author | Reiner Hähnle |
| Publisher | Oxford University Press |
| Format | Hardback |
| Language | English |
| Location | Oxford |
| Pages / Font | 172 pages / Computer Modern |
| ISBN | 0198539894 |
| Chapters | 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
References
Index 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
References
Index Show all ▾ |
| Notes | Copy is in my possession |
Added by ReinerH