Vai al contenuto principale della pagina

Theory of Graded Consequence : A General Framework for Logics of Uncertainty / / by Mihir Kumar Chakraborty, Soma Dutta



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Chakraborty Mihir Kumar Visualizza persona
Titolo: Theory of Graded Consequence : A General Framework for Logics of Uncertainty / / by Mihir Kumar Chakraborty, Soma Dutta Visualizza cluster
Pubblicazione: Singapore : , : Springer Singapore : , : Imprint : Springer, , 2019
Edizione: 1st ed. 2019.
Descrizione fisica: 1 online resource (235 pages)
Disciplina: 511.3
Soggetto topico: Logic
Logic, Symbolic and mathematical
Mathematical Logic and Foundations
Persona (resp. second.): DuttaSoma
Nota di contenuto: Introduction -- Basics of GCT -- Incorporating Negation in object language -- Proof theory for graded consequence -- Relationship with some other consequence operators and relations -- Suggested applications.
Sommario/riassunto: 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.
Titolo autorizzato: Theory of Graded Consequence  Visualizza cluster
ISBN: 981-13-8896-2
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910350208103321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Logic in Asia: Studia Logica Library, . 2364-4613