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

Volume

1

fYear

1995

fDate

20-24 Mar 1995

Firstpage

151

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FUZZY.1995.409674

Filename

409674