Automated Deduction in Multiple-Valued Logics
| 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 |
| Notes | Copy is in my possession |
Added by ReinerH