The co-op bookstore for avid readers
Book Cover for: Proof Theory for Fuzzy Logics, George Metcalfe

Proof Theory for Fuzzy Logics

George Metcalfe

The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.- Further Topics.

Book Details

  • Publisher: Springer
  • Publish Date: Oct 22nd, 2010
  • Pages: 276
  • Language: English
  • Edition: undefined - undefined
  • Dimensions: 9.21in - 6.14in - 0.60in - 0.89lb
  • EAN: 9789048181216
  • Categories: LogicLogicArtificial Intelligence - General

Praise for this book

From the reviews:

"This is a pioneering book on proofs for fuzzy logics, well-suited both for logicians who are interested in fuzzy logic and for specialists in expert systems and fuzzy logic applications who want to know more about the applications of proof theory." (V. Ya. Kreinovich, Mathematical Reviews, Issue 2009 h)

"The class of mathematical fuzzy logics is a natural extension of the class of t-norm-based [0, 1]-valued logics. ... the present monograph offers a study of proof-theoretically more interesting Gentzen-type calculi for such logics. ... This monograph is a well readable and up-to-date presentation of its topic, which clearly indicates which interesting results have been proved ... . It is excellently written by some of the leading experts in the field." (Siegfried J. Gottwald, Zentralblatt MATH, Vol. 1168, 2009)