TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Infinitesimals and Pavelka logic

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoPROCEEDINGS OF THE 2015 CONFERENCE OF THE INTERNATIONAL FUZZY SYSTEMS ASSOCIATION AND THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY
ToimittajatJM Alonso, H Bustince, M Reformat
JulkaisupaikkaPARIS
KustantajaAtlantis Press
Sivut1027-1033
Sivumäärä7
ISBN (elektroninen)978-94-62520-77-6
DOI - pysyväislinkit
TilaJulkaistu - 2015
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaCONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY -
Kesto: 1 tammikuuta 1900 → …

Julkaisusarja

NimiAdvances in Intelligent Systems Research
KustantajaATLANTIS PRESS
Vuosikerta89
ISSN (painettu)1951-6851

Conference

ConferenceCONFERENCE OF THE EUROPEAN SOCIETY FOR FUZZY LOGIC AND TECHNOLOGY
Ajanjakso1/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.

Tutkimusalat

Julkaisufoorumi-taso

Tilastokeskuksen tieteenalat