Normal view MARC view ISBD view

Proof theory for fuzzy logics/ George Metcalfe, Nicola Olivetti and Dov Gabbay

By: Metcalfe, GeorgeContributor(s): Olivetti, Nicola | Gabbay, DovMaterial type: Text

TextSeries: (Applied logic series) ; 36Publication details: Dordrecht: Springer, c2009Description: viii, 276 p. : ill. ; 24 cmISBN: 9781402094088Subject(s): Proof theory | Fuzzy logic | Logic | Algebra | MathematicsDDC classification: 511.313

Contents:

The Semantic basis -- Hilbert systems -- Gentzen systems -- Syntactic eliminations -- Fundamental logics -- Uniformity and efficiency -- First-order logics -- Further topics.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Call number	Status	Date due	Barcode	Item holds
General Books	Central Library, Sikkim University General Book Section	511.313 MET/P (Browse shelf(Opens below))	Available		P25302

Total holds: 0

The Semantic basis --
Hilbert systems --
Gentzen systems --
Syntactic eliminations --
Fundamental logics --
Uniformity and efficiency --
First-order logics --
Further topics.

There are no comments on this title.

to post a comment.