Infinitesimals and Pavelka logic
Tutkimustuotos › › vertaisarvioitu
Yksityiskohdat
| Alkuperäiskieli | Englanti |
|---|---|
| Otsikko | PROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY |
| Toimittajat | JM Alonso, H Bustince, M Reformat |
| Julkaisupaikka | PARIS |
| Kustantaja | Atlantis Press |
| Sivut | 1027-1033 |
| Sivumäärä | 7 |
| ISBN (elektroninen) | 978-94-62520-77-6 |
| DOI - pysyväislinkit | |
| Tila | Julkaistu - 2015 |
| OKM-julkaisutyyppi | A4 Artikkeli konferenssijulkaisussa |
| Tapahtuma | CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY - Kesto: 1 tammikuuta 1900 → … |
Julkaisusarja
| Nimi | Advances in Intelligent Systems Research |
|---|---|
| Kustantaja | ATLANTIS PRESS |
| Vuosikerta | 89 |
| ISSN (painettu) | 1951-6851 |
Conference
| Conference | CONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY |
|---|---|
| Ajanjakso | 1/01/00 → … |
Tiivistelmä
Rational Pavelka Logic does not admit infinitesimals. We argue that infinitesimals are important in logic and we present an alternative approach which admits them. It is built up in a similar style, but based on the Chang's perfect MV-algebra. We prove a partial result towards the completeness of this logic. We also discuss a combined approach using more complex perfect MV-algebras.