Dordrecht, Netherland: Springer (2008)

Authors
Dov Gabbay
Hebrew University of Jerusalem
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.
Keywords abelian logics
Categories (categorize this paper)
Reprint years 2009
Buy this book $120.60 new   Amazon page
ISBN(s) 9781402094088   9048181216   1402094086
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,192
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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.
A Constructive Analysis of RM.Arnon Avron - 1987 - Journal of Symbolic Logic 52 (4):939 - 951.

View all 10 references / Add more references

Citations of this work BETA

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

View all 6 citations / Add more citations

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.

Analytics

Added to PP index
2021-11-17

Total views
1 ( #1,546,110 of 2,507,378 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,378 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes