Proof theory for fuzzy logics/
George Metcalfe, Nicola Olivetti and Dov Gabbay
- Dordrecht: Springer, c2009.
- viii, 276 p. : ill. ; 24 cm.
- (Applied logic series), 36 .
The Semantic basis -- Hilbert systems -- Gentzen systems -- Syntactic eliminations -- Fundamental logics -- Uniformity and efficiency -- First-order logics -- Further topics.
9781402094088
Proof theory Fuzzy logic Logic Algebra Mathematics