Metcalfe, George. <br/><br/>
Proof theory for fuzzy logics  [electronic resource] / 
by George Metcalfe, Nicola Olivetti, Dov Gabbay. 
 - Dordrecht :  Springer Netherlands,  2009. 
 - viii, 276 pages :  illustrations, digital. 
 - Applied logic series,  v.36  1386-2790 ; .
<br/><br/><label>ISBN: </label>9781402094095 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Fuzzy logic.<br/>Proof theory.<br/>Artificial Intelligence (incl. Robotics)<br/>Logic.<br/>Mathematical Logic and Foundations.<br/>Order, Lattices, Ordered Algebraic Structures.
<br/><br/><label>Dewey Class. No.: </label>511.313