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...
Enregistré dans:
Auteurs principaux : | , , |
---|---|
Format : | Livre |
Langue : | anglais |
Titre complet : | Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay |
Publié : |
[Dordrecht] :
Springer
, C 2009 |
Description matérielle : | 1 vol. (VIII-276 p.) |
Collection : | Applied logic series ; 36 |
Contenu : | The Semantic Basis. Hilbert Systems. Gentzen Systems. Syntactic Eliminations. Fundamental Logics. Uniformity and Efficiency. First-Order Logics. Further Topics |
Sujets : | |
Documents associés : | Autre format:
Proof theory for Fuzzy logics |
Chargement en cours