Metamathematics of Fuzzy Logic
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named `fuzzy inference' can be naturally understood as logical deduction.
There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of logic and may find several very interesting open problems. Second, equally important, researchers involved in fuzzy logic applications and soft computing. As a matter of fact, most of these are not professional logicians so that it can easily happen that an application, clever and successful as it may be, is presented in a way which is logically not entirely correct or may appear simple-minded. (Standard presentations of the logical aspects of fuzzy controllers are the most typical example.) This fact would not be very important if only the bon ton of logicians were harmed; but it is the opinion of the author (who is a mathematical logician) that a better understanding of the strictly logical basis of fuzzy logic (in the usual broad sense) is very useful for fuzzy logic appliers since if they know better what they are doing, they may hope to do it better. In addition, a better mutual understanding between (classical) logicians and researchers in fuzzy logic, promises to lead to deeper cooperation and new results.
What people are saying - Write a review
citeulike: Metamathematics of Fuzzy Logic (Trends in Logic)
TY - BOOK ID - citeulike:681859 TI - Metamathematics of Fuzzy Logic (Trends in Logic) PB - Springer SN - 1402003706 N2 - This book presents a systematic ...
www.citeulike.org/ user/ smmurphy/ article/ 681859
SNDIS98: Metamathematics of Fuzzy Logic
Metamathematics of Fuzzy Logic. Prof. Petr Hŕjek Department of Computer Science Czech Academy of Sciences, Prague. Fuzzy logic in the broad sense covers ...
www1.isti.cnr.it/ ~dibona/ HP/ HTMLs/ Corsi/ hajek.html
Metamathematics of Fuzzy Logic - Mathfuzzlog
Title: Metamathematics of Fuzzy Logic. Series: Trends in Logic. Volume: 4. Publisher: Kluwer. City: Dordrecht. Year: 1998 ...
wiki.cs.cas.cz/ mathfuzzlog/ index.php/ Metamathematics_of_Fuzzy_Logic
ingentaconnect Metamathematics of fuzzy logic - Petr Hajek; Kluwer ...
Metamathematics of fuzzy logic - Petr Hajek; Kluwer Academic Publishers, Dordrecht, Boston, London, 1998, 308pp. ISBN 0-7923-5238-6. Author: Hohle U.1 ...
www.ingentaconnect.com/ content/ els/ 01650114/ 2003/ 00000133/ 00000003/ art00356;jsessionid=2uri68qgdrppf.alexandra?forma...
Review: Petr Hájek, Metamathematics of Fuzzy Logic
Petr Hájek, Metamathematics of Fuzzy Logic. Full-text: Access via JSTOR (no additional login). Go to this article in JSTOR. Links and Identifiers ...
projecteuclid.org/ handle/ euclid.bsl/ 1182353709
Fuzzy logic - Wikipedia, the free encyclopedia
Metamathematics of fuzzy logic. Dordrecht: Kluwer. ISBN 0792352386. Hájek, Petr (1995). "Fuzzy logic and arithmetical hierarchy". ...
en.wikipedia.org/ wiki/ Fuzzy_logic
Fuzzy logic - Scholarpedia
P. Hajek, Metamathematics of Fuzzy Logic; Trends in Logic, Kluwer Academic Publishers, Dordrecht, Vol. 4, 308 pp., 1998. ep Klement, R. Mesiar and E. Pap, ...
www.scholarpedia.org/ article/ Fuzzy_logic
Fuzzy Logic (Stanford Encyclopedia of Philosophy)
Hajek, P. (1998), Metamathematics of fuzzy logic, Dordrecht: Kluwer. Hajek, P. (2000), "Fuzzy predicate calculus and fuzzy rules", in Da Ruan and Kerre (eds ...
plato.stanford.edu/ entries/ logic-fuzzy/
A logic for reasoning about the probability of fuzzy events
This logic is defined starting from a basic idea exposed by Hajek [Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998]. Two kinds of semantics have ...
Complexity of fuzzy predicate logics with witnessed semantics ...
introduced in my Metamathematics of fuzzy logic (Kluwer 1998); in particular,. Lukasiewicz, Godel and product logic. Semantics is Tarski-style; over a crisp ...
www.math.wisc.edu/ ~lempp/ conf/ wroc/ hajek.pdf