About this book

Introduction

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.

Keywords

addition logic mathematical logic predicate logic

Authors and affiliations

Petr Hájek

1

1.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPragueCzech Republic