Theory of Graded Consequence : A General Framework for Logics of Uncertainty (Logic in Asia: Studia Logica Library)

Chakraborty, Mihir Kumar/ Dutta, Soma

Springer Verlag, Singapore（2020/08発売）

• 製本 Paperback:紙装版/ペーパーバック版／ページ数 224 p.
• 言語 ENG
• 商品コード 9789811389870
• DDC分類 160

Full Description

This book introduces the theory of graded consequence (GCT) and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels.

Contents

Introduction.- Basics of GCT.- Incorporating Negation in object language .- Proof theory for graded consequence.- Relationship with some other consequence operators and relations.- Suggested applications.