Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications

DOI

10.1080/18756891.2015.1129581How to use a DOI?

Keywords

Propositional fuzzy modal logic, Evaluated syntax, L-tautology, MV-algebra, Consequence operation, Fuzzy decision implication

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.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - JOUR
AU  - Xiaodong Pan
AU  - Yang Xu
PY  - 2015
DA  - 2015/12/01
TI  - Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
JO  - International Journal of Computational Intelligence Systems
SP  - 85
EP  - 93
VL  - 8
IS  - Supplement 1
SN  - 1875-6883
UR  - https://doi.org/10.1080/18756891.2015.1129581
DO  - 10.1080/18756891.2015.1129581
ID  - Pan2015
ER  -