Proof Theory for Fuzzy Logics (Record no. 426125)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03986nam a22006135i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOKNUMBER | |
| International Standard Book Number | 9781402094095 |
| -- | 978-1-4020-9409-5 |
| 024 7# - | |
| -- | 10.1007/978-1-4020-9409-5 |
| -- | doi |
| 040 ## - | |
| -- | ISI Library, Kolkata |
| 050 #4 - | |
| -- | QA8.9-10.3 |
| 072 #7 - | |
| -- | PBC |
| -- | bicssc |
| 072 #7 - | |
| -- | MAT018000 |
| -- | bisacsh |
| 072 #7 - | |
| -- | PBC |
| -- | thema |
| 072 #7 - | |
| -- | PBCD |
| -- | thema |
| 082 04 - DEWEYDECIMAL CLASSIFICATION NUMBER | |
| Classification number | 511.3 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Metcalfe, George. |
| Relator code | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 245 10 - TITLE STATEMENT | |
| Title | Proof Theory for Fuzzy Logics |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | by George Metcalfe, Nicola Olivetti, Dov Gabbay. |
| 942 ## - ADDED ENTRY ELEMENTS(KOHA) | |
| Koha item type | E-BOOKS |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| -- | author. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE STATEMENTS | |
| Place of production, publication, distribution, manufacture | Dordrecht : |
| Name of producer, publisher, distributor, manufacturer | Springer Netherlands, |
| Date of production, publication, distribution, manufacture | 2009. |
| 300 ## - | |
| -- | VIII, 276 p. |
| -- | online resource. |
| 336 ## - CONTENT TYPE | |
| Content Type Term | text |
| Content Type Code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media Type Term | computer |
| Media Type Code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier Type Term | online resource |
| Carrier Type Code | cr |
| Source | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - | |
| -- | Applied Logic Series, |
| -- | 1386-2790 ; |
| -- | 36 |
| 505 0# - | |
| -- | The Semantic Basis -- Hilbert Systems -- Gentzen Systems -- Syntactic Eliminations -- Fundamental Logics -- Uniformity and Efficiency -- First-Order Logics -- Further Topics. |
| 520 ## - | |
| -- | Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations. |
| 650 #0 - | |
| -- | Logic, Symbolic and mathematical. |
| 650 #0 - | |
| -- | Mathematics. |
| 650 #0 - | |
| -- | Algebra. |
| 650 #0 - | |
| -- | Artificial intelligence. |
| 650 #0 - | |
| -- | Logic. |
| 650 14 - | |
| -- | Mathematical Logic and Foundations. |
| -- | http://scigraph.springernature.com/things/product-market-codes/M24005 |
| 650 24 - | |
| -- | Mathematics, general. |
| -- | http://scigraph.springernature.com/things/product-market-codes/M00009 |
| 650 24 - | |
| -- | Algebra. |
| -- | http://scigraph.springernature.com/things/product-market-codes/M11000 |
| 650 24 - | |
| -- | Artificial Intelligence (incl. Robotics). |
| -- | http://scigraph.springernature.com/things/product-market-codes/I21017 |
| 650 24 - | |
| -- | Logic. |
| -- | http://scigraph.springernature.com/things/product-market-codes/E16000 |
| 650 24 - | |
| -- | Order, Lattices, Ordered Algebraic Structures. |
| -- | http://scigraph.springernature.com/things/product-market-codes/M11124 |
| 700 1# - | |
| -- | Olivetti, Nicola. |
| -- | author. |
| -- | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 700 1# - | |
| -- | Gabbay, Dov. |
| -- | author. |
| -- | aut |
| -- | http://id.loc.gov/vocabulary/relators/aut |
| 710 2# - | |
| -- | SpringerLink (Online service) |
| 773 0# - | |
| -- | Springer eBooks |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9789048181216 |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9781402094200 |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9781402094088 |
| 830 #0 - | |
| -- | Applied Logic Series, |
| -- | 1386-2790 ; |
| -- | 36 |
| 856 40 - | |
| -- | https://doi.org/10.1007/978-1-4020-9409-5 |
| 912 ## - | |
| -- | ZDB-2-SMA |
| 950 ## - | |
| -- | Mathematics and Statistics (Springer-11649) |
No items available.
