SEMANTICS OF PROPOSITIONAL FUZZY MODAL LOGIC WITH EVALUATED SYNTAX BASED ON MV-ALGEBRAS

摘要

This article deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantic theory from the viewpoint of Pavelka's graded semantics of propositional fuzzy logic, investigate the L-tautologies based on different Kripke frames. We also define the notion of L-semantic consequence operation, its some basic properties are presented.