Proof theory for fuzzy logics/ George Metcalfe, Nicola Olivetti and Dov Gabbay
Material type: 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.
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
Browsing Central Library, Sikkim University shelves, Shelving location: General Book Section Close shelf browser (Hides shelf browser)
511.3 TOU/M Mathematical logic/ | 511.313 BUC/I An Introduction to Fuzzy Logic and Fuzzy Sets/ | 511.313 MAS/F Fuzzy ligic in action/ | 511.313 MET/P Proof theory for fuzzy logics/ | 511.313 NGU/F A First Course in Fuzzy Logic/ | 511.313 ROS/F Fuzzy Logic with Engineering Applications/ | 511.313 ROS/F Fuzzy Logic with Engineering Applications/ |
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.