Title :
A logical foundation of graded modal operators defined by fuzzy measures
Author :
Murai, Tetsuya ; Miyakoshi, Masaaki ; Shimbo, Masaru
Author_Institution :
Hakodate Campus, Hokkaido Univ. of Educ., Hakodate, Japan
Abstract :
To give rigid semantics to graded modal operators, an extended fuzzy-measure-based model is defined as a family of minimal models for modal logic, each of which corresponds to an intermediate value of a fuzzy measure. Soundness and completeness results of several systems of modal logic are proved with respect to classes of newly introduced models based on intermediate values of fuzzy, possibility, necessity, and Dirac measures, respectively. It is emphasized that a fuzzy measure inherently contains a multimodal logical structure
Keywords :
fuzzy logic; grammars; Dirac measures; completeness results; extended fuzzy-measure-based model; graded modal operators; intermediate value; minimal models; modal logic; multimodal logical structure; necessity measures; possibility measures; rigid semantics; soundness results; Fuzzy logic; Fuzzy systems; Intelligent structures; Intelligent systems; Size measurement; Tail;
Conference_Titel :
Fuzzy Systems, 1995. International Joint Conference of the Fourth IEEE International Conference on Fuzzy Systems and The Second International Fuzzy Engineering Symposium., Proceedings of 1995 IEEE Int
Conference_Location :
Yokohama
Print_ISBN :
0-7803-2461-7
DOI :
10.1109/FUZZY.1995.409674
