Esko Turunen
Pavelka style fuzzy logic over Chang's MV-algebra
VCLA and the Logic Group will host a talk by Esko Turunen on November 20th, 2013.
| DATE: | Wednesday, November 20, 2013 |
| TIME: | 17:00 |
| VENUE: | Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard) |
ABSTRACT
We study Pavelka's fuzzy sentential logic by replacing the truth value set by Chang's MV-algebra, which is not a complete MV-algebra. Thus, original Pavelka style completeness cannot be expected, however, we prove a weaker result: If a formula A is provable to a degree d, then it is also valid to the same degree. This weak completeness result is obtained by adding a new rule of inference and three new axioms to Pavelka's original approach. The differences between Rational Pavelka Logic and Perfect Pavelka Logic are discussed.
