Cargando…
Proof Theory for Fuzzy Logics
Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date intr...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Applied Logic Series ;
36 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- The Semantic Basis
- Hilbert Systems
- Gentzen Systems
- Syntactic Eliminations
- Fundamental Logics
- Uniformity and Efficiency
- First-Order Logics
- Further Topics.