Metamathematics of Fuzzy Logic:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Dordrecht
Springer Netherlands
1998
|
| Series: | Trends in Logic, Studia Logica Library
4 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction |
| Physical Description: | 1 Online-Ressource (VIII, 299 p) |
| ISBN: | 9789401153003 9781402003707 |
| ISSN: | 1572-6126 |
| DOI: | 10.1007/978-94-011-5300-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423972 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401153003 |c Online |9 978-94-011-5300-3 | ||
| 020 | |a 9781402003707 |c Print |9 978-1-4020-0370-7 | ||
| 024 | 7 | |a 10.1007/978-94-011-5300-3 |2 doi | |
| 035 | |a (OCoLC)1184401857 | ||
| 035 | |a (DE-599)BVBBV042423972 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Hájek, Petr |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Metamathematics of Fuzzy Logic |c by Petr Hájek |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1998 | |
| 300 | |a 1 Online-Ressource (VIII, 299 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Trends in Logic, Studia Logica Library |v 4 |x 1572-6126 | |
| 500 | |a This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Metamathematik |0 (DE-588)4074759-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Metalogik |0 (DE-588)4169642-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |D s |
| 689 | 0 | 1 | |a Metamathematik |0 (DE-588)4074759-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Fuzzy-Logik |0 (DE-588)4341284-1 |D s |
| 689 | 1 | 1 | |a Metalogik |0 (DE-588)4169642-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-011-5300-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859389 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153100369395712 |
|---|---|
| any_adam_object | |
| author | Hájek, Petr |
| author_facet | Hájek, Petr |
| author_role | aut |
| author_sort | Hájek, Petr |
| author_variant | p h ph |
| building | Verbundindex |
| bvnumber | BV042423972 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184401857 (DE-599)BVBBV042423972 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-011-5300-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02452nmm a2200565zcb4500</leader><controlfield tag="001">BV042423972</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401153003</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-011-5300-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402003707</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4020-0370-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-011-5300-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184401857</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423972</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hájek, Petr</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Metamathematics of Fuzzy Logic</subfield><subfield code="c">by Petr Hájek</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 299 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Trends in Logic, Studia Logica Library</subfield><subfield code="v">4</subfield><subfield code="x">1572-6126</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Metamathematik</subfield><subfield code="0">(DE-588)4074759-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Fuzzy-Logik</subfield><subfield code="0">(DE-588)4341284-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-011-5300-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859389</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042423972 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:14Z |
| institution | BVB |
| isbn | 9789401153003 9781402003707 |
| issn | 1572-6126 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859389 |
| oclc_num | 1184401857 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (VIII, 299 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Trends in Logic, Studia Logica Library |
| spelling | Hájek, Petr Verfasser aut Metamathematics of Fuzzy Logic by Petr Hájek Dordrecht Springer Netherlands 1998 1 Online-Ressource (VIII, 299 p) txt rdacontent c rdamedia cr rdacarrier Trends in Logic, Studia Logica Library 4 1572-6126 This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named 'fuzzy inference' can be naturally understood as logical deduction Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Philosophie Metamathematik (DE-588)4074759-1 gnd rswk-swf Metalogik (DE-588)4169642-6 gnd rswk-swf Fuzzy-Logik (DE-588)4341284-1 gnd rswk-swf Fuzzy-Logik (DE-588)4341284-1 s Metamathematik (DE-588)4074759-1 s 1\p DE-604 Metalogik (DE-588)4169642-6 s 2\p DE-604 https://doi.org/10.1007/978-94-011-5300-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hájek, Petr Metamathematics of Fuzzy Logic Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Philosophie Metamathematik (DE-588)4074759-1 gnd Metalogik (DE-588)4169642-6 gnd Fuzzy-Logik (DE-588)4341284-1 gnd |
| subject_GND | (DE-588)4074759-1 (DE-588)4169642-6 (DE-588)4341284-1 |
| title | Metamathematics of Fuzzy Logic |
| title_auth | Metamathematics of Fuzzy Logic |
| title_exact_search | Metamathematics of Fuzzy Logic |
| title_full | Metamathematics of Fuzzy Logic by Petr Hájek |
| title_fullStr | Metamathematics of Fuzzy Logic by Petr Hájek |
| title_full_unstemmed | Metamathematics of Fuzzy Logic by Petr Hájek |
| title_short | Metamathematics of Fuzzy Logic |
| title_sort | metamathematics of fuzzy logic |
| topic | Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Philosophie Metamathematik (DE-588)4074759-1 gnd Metalogik (DE-588)4169642-6 gnd Fuzzy-Logik (DE-588)4341284-1 gnd |
| topic_facet | Philosophy (General) Logic Logic, Symbolic and mathematical Philosophy Mathematical Logic and Foundations Philosophie Metamathematik Metalogik Fuzzy-Logik |
| url | https://doi.org/10.1007/978-94-011-5300-3 |
| work_keys_str_mv | AT hajekpetr metamathematicsoffuzzylogic |