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|
|VENUE:||Seminar room Goedel (Favoritenstrasse 9-11, ground floor, access through courtyard)|
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.