Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology

Infinitesimals and Pavelka logic

Authors
Esko Turunen, Mirko Navara
Corresponding Author
Esko Turunen
Available Online June 2015.
DOI
https://doi.org/10.2991/ifsa-eusflat-15.2015.145How to use a DOI?
Keywords
Mathematical fuzzy logic, Rational Pavelka Logic, ukasiewicz operations, MValgebra, perfect MV-algebra, Chang’s MV-algebra.
Abstract

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.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology
Series
Advances in Intelligent Systems Research
Publication Date
June 2015
ISBN
978-94-62520-77-6
ISSN
1951-6851
DOI
https://doi.org/10.2991/ifsa-eusflat-15.2015.145How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Esko Turunen
AU  - Mirko Navara
PY  - 2015/06
DA  - 2015/06
TI  - Infinitesimals and Pavelka logic
BT  - Proceedings of the 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology
PB  - Atlantis Press
SP  - 1027
EP  - 1033
SN  - 1951-6851
UR  - https://doi.org/10.2991/ifsa-eusflat-15.2015.145
DO  - https://doi.org/10.2991/ifsa-eusflat-15.2015.145
ID  - Turunen2015/06
ER  -