Limit search to available items
Book Cover
E-book
Author Metcalfe, George.

Title Proof theory for fuzzy logics / by George Metcalfe, Nicola Olivetti, Dov Gabbay
Published [Dordrecht] : Springer, [2009]
©2009
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (viii, 276 pages) : illustrations
Series Applied logic series ; 36
Applied logic series ; 36
Contents 1. Introduction -- 2. The Semantic Basis -- 3. Hilbert Systems -- 4. Gentzen Systems -- 5. Syntactic Eliminations -- 6. Fundamental Logics -- 7. Uniformity and Efficiency -- 8. First-Order Logics -- 9. Further Topics -- References -- Index
Summary Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of 'proof-theoretic' presentations of fuzzy logics
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Fuzzy logic.
Proof theory.
Form Electronic book
Author Olivetti, Nicola.
Gabbay, Dov M., 1945-
LC no. 2008938185
ISBN 1402094094
9781402094095
(Cloth)
(hbk.)