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. It aims 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. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.

Table of Contents

CHAPTER ONE I PRELIMINARIES
CHAPTER TWO I MANY-VALUED PROPOSITIONAL CALCULI
CHAPTER THREE I LUKASIEWICZ PROPOSITIONAL LOGIC
CHAPTER FOUR I PRODUCT LOGIC, GODEL LOGIC
CHAPTER FIVE I MANY-VALUED PREDICATE LOGICS
CHAPTER SIX I COMPLEXITY AND UNDECIDABILITY
CHAPTER SEVEN I ON APPROXIMATE INFERENCE
CHAPTER EIGHT I GENERALIZED QUANTIFIERS AND MODALITIES
CHAPTER NINE I MISCELLANEA
CHAPTER TEN I HISTORICAL REMARKS