![Sample our Computer Science journals, sign in here to start your access, latest two full volumes FREE to you for 14 days]({"type":"image" , "src" : "/sda/5928/TOC-Subject-Sample-2021-Computer-Science.jpg"})
Abstract
This paper deals with propositional fuzzy modal logic with evaluated syntax based on MV-algebras. We focus on its semantical 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-semantical consequence operation, its some basic properties are obtained. Finally, this paper considers the fuzzy decision implications in propositional fuzzy modal logic with evaluated syntax based on MV-algebras, and presents a kind of semantical characteristics of fuzzy decision implications. Moreover, we introduce the notions of possible and necessary fuzzy decision implication, and their semantical characteristics are presented as well.