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.