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
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.

Comments are closed.