Infinitesimals and Pavelka logic

DOI

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)

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  - 10.2991/ifsa-eusflat-15.2015.145
ID  - Turunen2015/06
ER  -