Gabbay, Dov
Proof Theory for Fuzzy Logics
1. Introduction
George Metcalfe, Nicola Olivetti, Dov Gabbay
2. The Semantic Basis
George Metcalfe, Nicola Olivetti, Dov Gabbay
3. Hilbert Systems
George Metcalfe, Nicola Olivetti, Dov Gabbay
4. Gentzen Systems
George Metcalfe, Nicola Olivetti, Dov Gabbay
5. Syntactic Eliminations
George Metcalfe, Nicola Olivetti, Dov Gabbay
6. Fundamental Logics
George Metcalfe, Nicola Olivetti, Dov Gabbay
7. Uniformity and Efficiency
George Metcalfe, Nicola Olivetti, Dov Gabbay
8. First-Order Logics
George Metcalfe, Nicola Olivetti, Dov Gabbay
9. Further Topics
George Metcalfe, Nicola Olivetti, Dov Gabbay
Keywords: MATHEMATICS / General MAT000000
- Author(s)
- Gabbay, Dov
- Metcalfe, George
- Olivetti, Nicola
- Publisher
- Springer
- Publication year
- 2009
- Language
- en
- Edition
- 1
- Category
- Natural Sciences
- Format
- Ebook
- eISBN (PDF)
- 9781402094095