Cargando…
Metamathematics of fuzzy logic
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 impreci...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
1998
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-94-011-5300-3 http://cds.cern.ch/record/2023746 |
| _version_ | 1780947124694810624 |
|---|---|
| author | Hájek, Petr |
| author_facet | Hájek, Petr |
| author_sort | Hájek, Petr |
| collection | CERN |
| 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. |
| id | cern-2023746 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1998 |
| publisher | Springer |
| record_format | invenio |
| spelling | cern-20237462021-04-21T20:12:03Zdoi:10.1007/978-94-011-5300-3http://cds.cern.ch/record/2023746engHájek, PetrMetamathematics of fuzzy logicMathematical Physics and MathematicsThis 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.Springeroai:cds.cern.ch:20237461998 |
| spellingShingle | Mathematical Physics and Mathematics Hájek, Petr Metamathematics of fuzzy logic |
| title | Metamathematics of fuzzy logic |
| title_full | Metamathematics of fuzzy logic |
| title_fullStr | Metamathematics of fuzzy logic |
| title_full_unstemmed | Metamathematics of fuzzy logic |
| title_short | Metamathematics of fuzzy logic |
| title_sort | metamathematics of fuzzy logic |
| topic | Mathematical Physics and Mathematics |
| url | https://dx.doi.org/10.1007/978-94-011-5300-3 http://cds.cern.ch/record/2023746 |
| work_keys_str_mv | AT hajekpetr metamathematicsoffuzzylogic |