000			03986nam a22006135i 4500
001			978-1-4020-9409-5
003			DE-He213
005			20181204133145.0
007			cr nn 008mamaa
008			100301s2009 ne | s |||| 0|eng d
020			_a9781402094095 _9978-1-4020-9409-5
024	7		_a10.1007/978-1-4020-9409-5 _2doi
040			_aISI Library, Kolkata
050		4	_aQA8.9-10.3
072		7	_aPBC _2bicssc
072		7	_aMAT018000 _2bisacsh
072		7	_aPBC _2thema
072		7	_aPBCD _2thema
082	0	4	_a511.3 _223
100	1		_aMetcalfe, George. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut
245	1	0	_aProof Theory for Fuzzy Logics _h[electronic resource] / _cby George Metcalfe, Nicola Olivetti, Dov Gabbay.
264		1	_aDordrecht : _bSpringer Netherlands, _c2009.
300			_aVIII, 276 p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aApplied Logic Series, _x1386-2790 ; _v36
505	0		_aThe Semantic Basis -- Hilbert Systems -- Gentzen Systems -- Syntactic Eliminations -- Fundamental Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics.
520			_aFuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.
650		0	_aLogic, Symbolic and mathematical.
650		0	_aMathematics.
650		0	_aAlgebra.
650		0	_aArtificial intelligence.
650		0	_aLogic.
650	1	4	_aMathematical Logic and Foundations. _0http://scigraph.springernature.com/things/product-market-codes/M24005
650	2	4	_aMathematics, general. _0http://scigraph.springernature.com/things/product-market-codes/M00009
650	2	4	_aAlgebra. _0http://scigraph.springernature.com/things/product-market-codes/M11000
650	2	4	_aArtificial Intelligence (incl. Robotics). _0http://scigraph.springernature.com/things/product-market-codes/I21017
650	2	4	_aLogic. _0http://scigraph.springernature.com/things/product-market-codes/E16000
650	2	4	_aOrder, Lattices, Ordered Algebraic Structures. _0http://scigraph.springernature.com/things/product-market-codes/M11124
700	1		_aOlivetti, Nicola. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut
700	1		_aGabbay, Dov. _eauthor. _4aut _4http://id.loc.gov/vocabulary/relators/aut
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789048181216
776	0	8	_iPrinted edition: _z9781402094200
776	0	8	_iPrinted edition: _z9781402094088
830		0	_aApplied Logic Series, _x1386-2790 ; _v36
856	4	0	_uhttps://doi.org/10.1007/978-1-4020-9409-5
912			_aZDB-2-SMA
942			_cEB
950			_aMathematics and Statistics (Springer-11649)
999			_c426125 _d426125