Proof theory for fuzzy logics

著者

書誌事項

Proof theory for fuzzy logics

by George Metcalfe, Nicola Olivetti, Dov Gabbay

(Applied logic series, v. 36)

Springer, c2009

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 259-267) and index

内容説明・目次

内容説明

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 introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.

目次

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

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA89370830
  • ISBN
    • 9781402094088
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    [Dordrecht]
  • ページ数/冊数
    viii, 276 p.
  • 大きさ
    25 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ