LEADER 02723nam  22004815  450 
001 9910350208103321
005 20200701044223.0
010   $a981-13-8896-2
024 7 $a10.1007/978-981-13-8896-5
035   $a(CKB)4100000008876940
035   $a(MiAaPQ)EBC5837790
035   $a(DE-He213)978-981-13-8896-5
035   $a(EXLCZ)994100000008876940
100   $a20190722d2019      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTheory of Graded Consequence $eA General Framework for Logics of Uncertainty /$fby Mihir Kumar Chakraborty, Soma Dutta
205   $a1st ed. 2019.
210  1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2019.
215   $a1 online resource (235 pages)
225 1 $aLogic in Asia: Studia Logica Library,$x2364-4613
311   $a981-13-8894-6 
327   $aIntroduction -- Basics of GCT -- Incorporating Negation in object language  -- Proof theory for graded consequence -- Relationship with some other consequence operators and relations -- Suggested applications.
330   $aThis 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.
410  0$aLogic in Asia: Studia Logica Library,$x2364-4613
606   $aLogic
606   $aLogic, Symbolic and mathematical
606   $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000
606   $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005
615  0$aLogic.
615  0$aLogic, Symbolic and mathematical.
615 14$aLogic.
615 24$aMathematical Logic and Foundations.
676   $a511.3
700   $aChakraborty$b Mihir Kumar$4aut$4http://id.loc.gov/vocabulary/relators/aut$0851359
702   $aDutta$b Soma$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910350208103321
996   $aTheory of Graded Consequence$92261647
997   $aUNINA