‎Proof Theory for Fuzzy Logics

Dordrecht, Netherland: Springer (2008)

Abstract

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

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,660

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2021-11-17

Downloads
1 (#1,558,818)

6 months
1 (#388,311)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Similar books and articles

On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
Logics with Disjunction and Proof by Cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan der Waart van Gulivank - 2009 - Journal of Logic, Language and Information 18 (3).
Adaptive Fuzzy Logics for Contextual Hedge Interpretation.Stephan van der Waart van Gulik - 2009 - Journal of Logic, Language and Information 18 (3):333-356.
Mathematical Fuzzy Logics.Siegfried Gottwald - 2008 - Bulletin of Symbolic Logic 14 (2):210-239.
Structural Completeness in Fuzzy Logics.Petr Cintula & George Metcalfe - 2009 - Notre Dame Journal of Formal Logic 50 (2):153-182.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.
On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

References found in this work

The Logic of Inexact Concepts.J. A. Goguen - 1969 - Synthese 19 (3-4):325-373.
A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
A Theorem About Infinite-Valued Sentential Logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.

View all 10 references / Add more references

Citations of this work

Many-Valued Logic.Siegfried Gottwald - 2008 - Stanford Encyclopedia of Philosophy.
A Novel Approach to Equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
Fuzzy Logic.Petr Hajek - 2008 - Stanford Encyclopedia of Philosophy.

View all 7 citations / Add more citations