Metcalfe, George.
Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. - Dordrecht : Springer Netherlands, 2009. - digital. - Applied Logic Series, 36 1386-2790 ; . - Applied Logic Series, 36 .
9781402094095
10.1007/978-1-4020-9409-5 doi
Mathematics.
Logic.
Artificial intelligence.
Algebra.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Artificial Intelligence (incl. Robotics).
Logic.
Order, Lattices, Ordered Algebraic Structures.
QA8.9-10.3
511.3
Proof Theory for Fuzzy Logics [electronic resource] / by George Metcalfe, Nicola Olivetti, Dov Gabbay. - Dordrecht : Springer Netherlands, 2009. - digital. - Applied Logic Series, 36 1386-2790 ; . - Applied Logic Series, 36 .
9781402094095
10.1007/978-1-4020-9409-5 doi
Mathematics.
Logic.
Artificial intelligence.
Algebra.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Artificial Intelligence (incl. Robotics).
Logic.
Order, Lattices, Ordered Algebraic Structures.
QA8.9-10.3
511.3