TY  - BOOK
AU  - Metcalfe, George
AU  - Olivetti, Nicola
AU  - Gabbay, Dov
TI  - Proof theory for fuzzy logics
SN  - 9781402094088
U1  - 511.313 
PY  - 2009///
CY  - Dordrecht
PB  - Springer
KW  - Proof theory
KW  - Fuzzy logic
KW  - Logic
KW  - Algebra
KW  - Mathematics
N1  - The Semantic basis --
Hilbert systems --
Gentzen systems --
Syntactic eliminations --
Fundamental logics --
Uniformity and efficiency --
First-order logics --
Further topics
ER  -