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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Metcalfe, George (Author), Olivetti, Nicola (Author), Gabbay, Dov M. (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2009.
Edition:1st ed. 2009.
Series:Applied Logic Series ; 36
Subjects:
Mathematical logic.
Mathematics.
Algebra.
Artificial intelligence.
Logic.
Mathematical Logic and Foundations.
Artificial Intelligence.
Order, Lattices, Ordered Algebraic Structures.
Online Access:Texto Completo
Table of Contents:
  • The Semantic Basis
  • Hilbert Systems
  • Gentzen Systems
  • Syntactic Eliminations
  • Fundamental Logics
  • Uniformity and Efficiency
  • First-Order Logics
  • Further Topics.

Similar Items