I PRIKLADNAYA MATEMATIKA
(FUNDAMENTAL AND APPLIED MATHEMATICS)
2003, VOLUME 9, NUMBER 1, PAGES 201-230
A. M. Mironov
View as HTML View as gif image
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.
|Main page||Contents of the journal||News||Search|
Last modified: April 4, 2004.