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.
Author(s): Petr Hájek
Series: Trends in Logic 4
Publisher: Springer
Year: 1998
Language: English
Pages: 299
Tags: Logic; Mathematical Logic and Foundations
Front Matter....Pages N3-viii
Preliminaries....Pages 1-26
Many-Valued Propositional Calculi....Pages 27-61
Łukasiewicz Propositional Logic....Pages 63-87
Product Logic, Gödel Logic (and Boolean Logic)....Pages 89-107
Many-Valued Predicate Logics....Pages 109-147
Questions of Computational Complexity and Undecidability....Pages 149-166
On Approximate Inference....Pages 167-194
Generalized Quantifiers and Modalities....Pages 195-248
Miscellanea....Pages 249-276
Historical Remarks....Pages 277-282
Back Matter....Pages 283-299