Back to Search
Start Over
Fuzzy Modal Logics
- Source :
- Journal of Mathematical Sciences. 128:3461-3483
- Publication Year :
- 2005
- Publisher :
- Springer Science and Business Media LLC, 2005.
-
Abstract
- In the paper we introduce formal calculi which are a generalization of propositional modal logics. These calculi are called fuzzy modal logics. We introduce the concept of a fuzzy Kripke model and consider a semantics of these calculi in the class of fuzzy Kripke models. The main result of the paper is the completeness theorem of a minimal fuzzy modal logic in the class of fuzzy Kripke models.
- Subjects :
- Statistics and Probability
Discrete mathematics
Mathematics::General Mathematics
Normal modal logic
Applied Mathematics
General Mathematics
Kripke structure
Modal logic
S5
ComputingMethodologies_PATTERNRECOGNITION
TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES
TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS
Computer Science::Logic in Computer Science
Monoidal t-norm logic
Accessibility relation
Calculus
Computer Science::Programming Languages
Kripke semantics
ComputingMethodologies_GENERAL
T-norm fuzzy logics
Mathematics
Subjects
Details
- ISSN :
- 15738795 and 10723374
- Volume :
- 128
- Database :
- OpenAIRE
- Journal :
- Journal of Mathematical Sciences
- Accession number :
- edsair.doi...........2d56a9d74069cd9fa5ec9222f37ab251