Proof theory for fuzzy logics /
41
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
[Dordrecht] : Springer,
2009
|
| Subjects: |
| _version_ | 1796684456514289664 |
|---|---|
| author | 432738 Metcalfe, George Olivetti, Nicola Gabbay, Dov M., 1945- |
| author_facet | 432738 Metcalfe, George Olivetti, Nicola Gabbay, Dov M., 1945- |
| author_sort | 432738 Metcalfe, George |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T22:12:25Z |
| format | |
| id | KOHA-OAI-TEST:194331 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T22:12:25Z |
| publishDate | 2009 |
| publisher | [Dordrecht] : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1943312020-12-19T17:05:28ZProof theory for fuzzy logics / 432738 Metcalfe, George Olivetti, Nicola Gabbay, Dov M., 1945- [Dordrecht] : Springer,2009eng41PSZJBLFuzzy logicProof theoryURN:ISBN:9781402094088 (hbk.) |
| spellingShingle | Fuzzy logic Proof theory 432738 Metcalfe, George Olivetti, Nicola Gabbay, Dov M., 1945- Proof theory for fuzzy logics / |
| title | Proof theory for fuzzy logics / |
| title_full | Proof theory for fuzzy logics / |
| title_fullStr | Proof theory for fuzzy logics / |
| title_full_unstemmed | Proof theory for fuzzy logics / |
| title_short | Proof theory for fuzzy logics / |
| title_sort | proof theory for fuzzy logics |
| topic | Fuzzy logic Proof theory |
| work_keys_str_mv | AT 432738metcalfegeorge prooftheoryforfuzzylogics AT olivettinicola prooftheoryforfuzzylogics AT gabbaydovm1945 prooftheoryforfuzzylogics |